Ciao-users

ciao-users@cliplab.org

948 discussions

Stop a query or a predicate
by David STRAINCHAMPS 19 Apr '02

19 Apr '02

Hi, I just want to know if it is possible to stop a query automatically after About 15 seconds when the predicate in cause by the query don't find a solution or a no response. I don't know if I explain well my problem Thanks for answers David

1 0

Update on web site
by MCL 11 Apr '02

11 Apr '02

Dear Ciao Prolog users, we have became aware of a quite serious bug which affected the performance of the Ciao Prolog system. The most relevant effect was compiling times much longer than actually needed. A new snapshot correcting this bug (among others) is available on the web site: htpp://clip.dia.fi.upm.es/Software/Ciao Best regards, MCL & the Ciao Prolog team -- +--------------------------------------------------------------------------+ |Manuel Carro --- C.S. School --- Technical University of Madrid (UPM)| | Email: mcarro(a)fi.upm.es --- Ph: +34-91336-7455 --- FAX: +34-91336-7412 | |http://lml.ls.fi.upm.es/~boris --- http://clip.dia.fi.upm.es/Software/Ciao|

1 0

Re: setrand sisctus predicate ?
by Manuel Carro 03 Apr '02

03 Apr '02

Should be pretty easy: something similar to setrand(rand(X, Y, Z)):- Seed is X * Y * Z, srand(Seed). There is no guarantee that you'll get the same sequence, though. MCL ______________________________________________________________________________ Miss a couple of car payments and you'll see if someone cares if you're alive.

1 0

setrand sisctus predicate ?
by idees folles 03 Apr '02

03 Apr '02

ciao prolog don't have the sisctus predicate setrand(rand(X,Y,Z). i have a programm with it how can i do ?

1 0

make_sql_persistent
by Alan Sneath 26 Mar '02

26 Mar '02

I'm having a few problems getting the make_sql_persistent (part of the persdb_mysql library) predicate to work as intended. I've had a look at the people.pl example file, and my code contains the following. At the top after loading the required libraries: sql_persistent_location(database, db(Database, User, Password, HP)) :- database_name(Database), mysql_user(User), mysql_password(Password), mysql_host_and_port(HP). ...which I assume is correct. However, during my program I have: make_sql_persistent(TypeList, NameList, database), where TypeList and NameList have been dynamically generated earlier (this predicate is called recursively on all tables in the database). All works fine until I try to extract information from the database. No matter which table I try to access, it always comes up with an existence_error when I run the program. I've used write statements to check the contents of TypeList and NameList and both are generated properly, and if I remove the statements to query the database, the program completes without error. Since I'm using the exact same method of retrieving information as in the people.pl example (which works without any errors), I can only assume I've done something wrong with the make_sql_persistent predicate... Anyone got any ideas?? Thanks in advance for any help.. -- Alan Sneath... "Hard work pays off in the future. Laziness pays off now"

1 0

Problem in obtaining alternative solutions
by Jane Loans 26 Mar '02

26 Mar '02

On the following code: ---------File "test.pl"------------- p(a). p(b). p(c). p(d,e). p(f,g). ------------------------------------ ---------Loading "test.pl", from Emacs, into Ciao----------------- ---------toplevel shell, and testing "p" predicate.--------------- ?- ensure_loaded('c:/test.pl'). {Reading /cygdrive/c/test.pl WARNING: (lns 5-6) predicate p/2 is already defined with arity 1} yes ?- p(X). X = a ? yes ?- ------------------------------------------------------------------ Two questions: * Are there any way of deactivating these warnings so obvious? * Why the listerning not asks me if I want alternative solutions? It is as if upon pressing "intro" after testing "p (X)." they are pressed two times the key "intro". It is problem of Emacs (it more sure), or of the listerning (not I believe it)? How I can solve it, because if not, it is impossible to obtain ever alternative solutions to a query? NOTE: I have installed in my computer: * GNU Emacs 21.1.1 (i386-msvc-windows98.2222) of 2001-10-22 * Ciao Prolog for Windows, version 1.7p162 __________________________________________________ Do You Yahoo!? Yahoo! Movies - coverage of the 74th Academy Awards® http://movies.yahoo.com/

2 1

solitaire.pl and AGs
by David 26 Mar '02

26 Mar '02

Hi I have find an implementaiton in prolog of simple Genetic Algorithms at this url http://www.ida.his.se/ida/~bjorne/GA/Simuleringar/ProGA/ I want to use it to improve my program solitaire.pl (see below) that can only solve listeboule(39,X,Y,Z). but not listeboule(44,X,Y,Z). or listeboulebytheend(6,X,Y,Z),listeboule(39,X,Y,Z1). Can i have some advice to use PROGA with CIAO-Prolog the solitaire.pl mouvement([closeto(boule(2,1),boule(2,2),boule(2,3)), closeto(boule(2,1),boule(4,7),boule(4,4)), closeto(boule(2,1),boule(1,3),boule(1,2)), closeto(boule(2,1),boule(2,4),boule(2,7)), closeto(boule(2,2),boule(2,3),boule(3,1)), closeto(boule(2,2),boule(4,8),boule(4,5)), closeto(boule(2,2),boule(2,1),boule(1,3)), closeto(boule(2,2),boule(2,5),boule(2,8)), closeto(boule(2,3),boule(2,6),boule(2,9)), closeto(boule(2,3),boule(4,9),boule(4,6)), closeto(boule(2,3),boule(2,2),boule(2,1)), closeto(boule(2,3),boule(3,1),boule(3,2)), closeto(boule(2,4),boule(2,5),boule(2,6)), closeto(boule(2,4),boule(2,1),boule(4,7)), closeto(boule(2,4),boule(1,6),boule(1,5)), closeto(boule(2,4),boule(2,7),boule(5,1)), closeto(boule(2,5),boule(2,6),boule(3,4)), closeto(boule(2,5),boule(2,2),boule(4,8)), closeto(boule(2,5),boule(2,4),boule(1,6)), closeto(boule(2,5),boule(2,8),boule(5,2)), closeto(boule(2,6),boule(3,4),boule(3,5)), closeto(boule(2,6),boule(2,3),boule(4,9)), closeto(boule(2,6),boule(2,5),boule(2,4)), closeto(boule(2,6),boule(2,9),boule(5,3)), closeto(boule(2,7),boule(2,8),boule(2,9)), closeto(boule(2,7),boule(2,4),boule(2,1)), closeto(boule(2,7),boule(1,9),boule(1,8)), closeto(boule(2,7),boule(5,1),boule(5,4)), closeto(boule(2,8),boule(2,9),boule(3,7)), closeto(boule(2,8),boule(2,5),boule(2,2)), closeto(boule(2,8),boule(2,7),boule(1,9)), closeto(boule(2,8),boule(5,2),boule(5,5)), closeto(boule(2,9),boule(3,7),boule(3,8)), closeto(boule(2,9),boule(2,6),boule(2,3)), closeto(boule(2,9),boule(2,8),boule(2,7)), closeto(boule(2,9),boule(5,3),boule(5,6)), closeto(boule(1,1),boule(1,2),boule(1,3)), closeto(boule(1,1),boule(1,4),boule(1,7)), closeto(boule(1,2),boule(1,3),boule(2,1)), closeto(boule(1,2),boule(1,5),boule(1,8)), closeto(boule(1,3),boule(2,1),boule(2,2)), closeto(boule(1,3),boule(1,6),boule(1,9)), closeto(boule(1,3),boule(1,2),boule(1,1)), closeto(boule(1,4),boule(1,5),boule(1,6)), closeto(boule(1,5),boule(1,6),boule(2,4)), closeto(boule(1,6),boule(2,4),boule(2,5)), closeto(boule(1,6),boule(1,5),boule(1,4)), closeto(boule(1,7),boule(1,8),boule(1,9)), closeto(boule(1,7),boule(1,4),boule(1,1)), closeto(boule(1,8),boule(1,9),boule(2,7)), closeto(boule(1,8),boule(1,5),boule(1,2)), closeto(boule(1,9),boule(2,7),boule(2,8)), closeto(boule(1,9),boule(1,6),boule(1,3)), closeto(boule(1,9),boule(1,8),boule(1,7)), closeto(boule(3,1),boule(3,2),boule(3,3)), closeto(boule(3,1),boule(2,3),boule(2,2)), closeto(boule(3,1),boule(3,4),boule(3,7)), closeto(boule(3,2),boule(3,1),boule(2,3)), closeto(boule(3,2),boule(3,5),boule(3,8)), closeto(boule(3,3),boule(3,2),boule(3,1)), closeto(boule(3,3),boule(3,6),boule(3,9)), closeto(boule(3,4),boule(2,6),boule(2,5)), closeto(boule(3,4),boule(3,5),boule(3,6)), closeto(boule(3,5),boule(3,4),boule(2,6)), closeto(boule(3,6),boule(3,5),boule(3,4)), closeto(boule(3,7),boule(3,8),boule(3,9)), closeto(boule(3,7),boule(3,4),boule(3,1)), closeto(boule(3,7),boule(2,9),boule(2,8)), closeto(boule(3,8),boule(3,5),boule(3,2)), closeto(boule(3,8),boule(3,7),boule(2,9)), closeto(boule(3,9),boule(3,6),boule(3,3)), closeto(boule(3,9),boule(3,8),boule(3,7)), closeto(boule(4,1),boule(4,2),boule(4,3)), closeto(boule(4,1),boule(4,4),boule(4,7)), closeto(boule(4,2),boule(4,5),boule(4,8)), closeto(boule(4,3),boule(4,2),boule(4,1)), closeto(boule(4,3),boule(4,6),boule(4,9)), closeto(boule(4,4),boule(4,5),boule(4,6)), closeto(boule(4,4),boule(4,7),boule(2,1)), closeto(boule(4,5),boule(4,8),boule(2,2)), closeto(boule(4,6),boule(4,5),boule(4,4)), closeto(boule(4,6),boule(4,9),boule(2,3)), closeto(boule(4,7),boule(4,8),boule(4,9)), closeto(boule(4,7),boule(4,4),boule(4,1)), closeto(boule(4,7),boule(2,1),boule(2,4)), closeto(boule(4,8),boule(4,5),boule(4,2)), closeto(boule(4,8),boule(2,2),boule(2,5)), closeto(boule(4,9),boule(4,6),boule(4,3)), closeto(boule(4,9),boule(4,8),boule(4,7)), closeto(boule(4,9),boule(2,3),boule(2,6)), closeto(boule(5,1),boule(5,2),boule(5,3)), closeto(boule(5,1),boule(2,7),boule(2,4)), closeto(boule(5,1),boule(5,4),boule(5,7)), closeto(boule(5,2),boule(2,8),boule(2,5)), closeto(boule(5,2),boule(5,5),boule(5,8)), closeto(boule(5,3),boule(2,9),boule(2,6)), closeto(boule(5,3),boule(5,2),boule(5,1)), closeto(boule(5,3),boule(5,6),boule(5,9)), closeto(boule(5,4),boule(5,5),boule(5,6)), closeto(boule(5,4),boule(5,1),boule(2,7)), closeto(boule(5,5),boule(5,2),boule(2,8)), closeto(boule(5,6),boule(5,3),boule(2,9)), closeto(boule(5,6),boule(5,5),boule(5,4)), closeto(boule(5,7),boule(5,8),boule(5,9)), closeto(boule(5,7),boule(5,4),boule(5,1)), closeto(boule(5,8),boule(5,5),boule(5,2)), closeto(boule(5,9),boule(5,6),boule(5,3)), closeto(boule(5,9),boule(5,8),boule(5,7))]). delete(_,[],[]). delete(X,[X|Q],R):-delete(X,Q,R). delete(X,[T|Q],[T|RQ]):-X\=T,delete(X,Q,RQ). inserer([],boule(X,Y),[boule(X,Y)]). inserer([boule(X1,Y1)|B],boule(X,Y),[boule(X,Y),boule(X1,Y1)|B]):- X<X1. inserer([boule(X1,Y1)|B],boule(X,Y),[boule(X,Y),boule(X1,Y1)|B]):- X=X1, Y<Y1. inserer([boule(X1,Y1)|B],boule(X,Y),[boule(X1,Y1)|C]):- X>X1, inserer(B,boule(X,Y),C). inserer([boule(X1,Y1)|B],boule(X,Y),[boule(X1,Y1)|C]):- X=X1, Y>Y1, inserer(B,boule(X,Y),C). trier([],C,C). trier([E|B],C,D):- inserer(C,E,A), trier(B,A,D). trierfinal(A,B):-trier(A,[],B). listeboule(1, [boule(1,1), boule(1,2), boule(1,3), boule(1,4), boule(1,5), boule(1,6), boule(1,7), boule(1,8), boule(1,9), boule(2,1), boule(2,2), boule(2,3), boule(2,4), boule(2,5), boule(2,6), boule(2,7), boule(2,8), boule(2,9), boule(3,1), boule(3,2), boule(3,3), boule(3,4), boule(3,5), boule(3,6), boule(3,7), boule(3,8), boule(3,9), boule(4,1), boule(4,2), boule(4,3), boule(4,4), boule(4,5), boule(4,6), boule(4,7), boule(4,8), boule(4,9), boule(5,1), boule(5,2), boule(5,3), boule(5,4), boule(5,5), boule(5,6), boule(5,7), boule(5,8)], [boule(5,9)], []). listeboule(N,Listeboule,Listeboulevide,Allmouvement):- N > 1, N1 is N-1, listeboule(N1,Listeboule1,Listeboulevide1,Allmouvement1), mouvement(Move), member(closeto(Boule1,Boule2,Boulevide),Move), member(Boulevide,Listeboulevide1), member(Boule1,Listeboule1), member(Boule2,Listeboule1), delete(Boule1,Listeboule1,Listeboule2), delete(Boule2,Listeboule2,Listeboule3), Listeboule4=[Boulevide|Listeboule3], trierfinal(Listeboule4,Listeboule), delete(Boulevide,Listeboulevide1,Listeboulevide2), Listeboulevide3=[Boule1,Boule2|Listeboulevide2], trierfinal(Listeboulevide3,Listeboulevide), Allmouvement=[closeto(Boule1,Boule2,Boulevide)|Allmouvement1]. listeboulebytheend(1,[boule(2,9)], [boule(1,1), boule(1,2), boule(1,3), boule(1,4), boule(1,5), boule(1,6), boule(1,7), boule(1,8), boule(1,9), boule(2,1), boule(2,2), boule(2,3), boule(2,4), boule(2,5), boule(2,6), boule(2,7), boule(2,8), boule(3,1), boule(3,2), boule(3,3), boule(3,4), boule(3,5), boule(3,6), boule(3,7), boule(3,8), boule(3,9), boule(4,1), boule(4,2), boule(4,3), boule(4,4), boule(4,5), boule(4,6), boule(4,7), boule(4,8), boule(4,9), boule(5,1), boule(5,2), boule(5,3), boule(5,4), boule(5,5), boule(5,6), boule(5,7), boule(5,8), boule(5,9)], []). listeboulebytheend(Nf,Listeboulef,Listeboulevidef,Allmouvementf):- Nf > 1, N2 is Nf-1, listeboulebytheend(N2,Listeboule1f,Listeboulevide1f,Allmouvement1f), mouvement(Movef), member(closeto(Boule1f,Boule2f,Boulevidef),Movef), member(Boulevidef,Listeboule1f), member(Boule1f,Listeboulevide1f), member(Boule2f,Listeboulevide1f), delete(Boule2f,Listeboulevide1f,Listeboulevide2f), delete(Boule1f,Listeboulevide2f,Listeboulevide3f), Listeboulevide4f=[Boulevidef|Listeboulevide3f], trierfinal(Listeboulevide4f,Listeboulevidef), delete(Boulevidef,Listeboule1f,Listeboule2f), Listeboule3f=[Boule1f,Boule2f|Listeboule2f], trierfinal(Listeboule3f,Listeboulef), Allmouvementf=[closeto(Boule1f,Boule2f,Boulevidef)|Allmouvement1f].

1 0

Re: Problem in obtaining alternative solutions
by Bregor 24 Mar '02

24 Mar '02

> * Why the listerning not asks me if I want alternative solutions? > It is as if upon pressing "intro" after testing "p (X)." they > are pressed two times the key "intro". > It is problem of Emacs (it more sure), or of the listerning (not > I believe it)? > How I can solve it, because if not, it is impossible to obtain > ever alternative solutions to a query? If i understood your second question i think you must put a ';' in order to obtain more solutions (or alternative solutions). For example: ?- p(X). X = a ? ; X = b ? <-- here you can put more ';' if you want more solutions (if there aren't more solutions you must see something like no and ?- , the prompt) yes ?- Bye

1 0

Re: MySQL ...
by Manuel Carro 08 Mar '02

08 Mar '02

>> Cia prolog version: 1.7p162 >> OS: Debian GNU/Linux (not sure about the version since I didn't install >> it, /etc/debian_version reports 2.2) What does 'locate libmysql' in a shell return? If it does return something like /usr/lib/mysql/libmysqlclient.so.10.0.0 /usr/lib/mysql/libmysqlclient.so.10 /usr/lib/mysql/libmysqlclient.so.9.0.0 /usr/lib/mysql/libmysqlclient.a /usr/lib/mysql/libmysqlclient.so /usr/lib/mysql/libmysqlclient.so.9 (the critical part is that the libraries are under /usr/lib/mysql , and not directly under /usr/lib ), then go to the file mysql_client.pl and change the extra_linker_opts declaration to be :- extra_linker_opts('LINUXi86', ['-L/usr/lib/mysql -lz']). (note the '-L'). Recompile and try again, and please let us know how it went. MCL ___________________________________________________________ Never hit a man with glasses. Hit him with a baseball bat.

1 0

Re: MySQL ...
by Manuel Carro 07 Mar '02

07 Mar '02

>> I appear to have compiled the persdb_mysql library and all but when I >> try the people.pl example I get the following error: >> >> {ERROR: dynlink/2: could not find initialization function} Which Ciao Prolog version and operating system (and version) are you using? The error is strange, because it seems that the dynamic library is being loaded, but a function is not found. However, the .c file is generated automatically, so the initialization function *should* be there... MCL ___________________________________________________________ Never hit a man with glasses. Hit him with a baseball bat.

1 0

← Newer
1
...
74
75
76
77
78
79
80
...
95
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users