users-prolog
[Top][All Lists]
Advanced

[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    |
 \--------------------------------------------------------------------------/

Attachment: ms3.pl
Description: Text document


reply via email to

[Prev in Thread] Current Thread [Next in Thread]