[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
magic stranger...
From: |
Hector Luis Palacios V. |
Subject: |
magic stranger... |
Date: |
Tue, 7 Aug 2001 12:39:47 -0400 (AST) |
Hi.
I have seen something stranger with gprolog.
ms3.pl have an implementacion of magic sequence.
But it start to report fail in N = 132
as you can see:
------------
address@hidden stp-gprolog]$ gprolog
GNU Prolog 1.2.1
By Daniel Diaz
Copyright (C) 1999,2000 Daniel Diaz
| ?- [ms3].
compiling /home/hlp/tesis/constraint/stp-gprolog/ms3.pl for byte code...
/home/hlp/tesis/constraint/stp-gprolog/ms3.pl:67--73 warning: singleton
variables [S] for constraints/5
/home/hlp/tesis/constraint/stp-gprolog/ms3.pl compiled, 86 lines read - 5000
bytes written, 49 ms
(10 ms) yes
| ?- magic(131, L), !.
L =
[127,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0]
(370 ms) yes
| ?- magic(130, L), !.
L =
[126,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0]
(420 ms) yes
| ?- magic(132, L), !.
(1460 ms) no
| ?-
address@hidden stp-gprolog]$ echo $TRAILSZ $CSTRSZ
10000 20000
----------
Version: gprolog-1.2.1-1
Sytem: Linux burns 2.2.17-21mdk #1 Thu Oct 5 13:16:08 CEST 2000 i686
----------
Any ideas??
Thanks....
/--------------------------------------------------------------------------\
| Artificial Intelligence Group | He venido para que tengan vida, y la |
| Universidad Simon Bolivar | tengan en abundancia. Jesus de Nazaret |
|---------------------------------------------------------------------------|
| Hector Luis Palacios Verdes | address@hidden, address@hidden |
\--------------------------------------------------------------------------/
ms3.pl
Description: Text document
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- magic stranger...,
Hector Luis Palacios V. <=