http://blog.gmane.org/gmane.comp.ai.prolog.swi hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.ai.prolog.swi/9224 Hi, Bit busy, but there where enough fixes to release a new version as a present to ICLP08. Markus has been doing performance work on clp(fd). My contribution is bug-fixes only. Most applied to both versions; some were specific issues of 5.7.3: wakeup problems with attributed variables and some debugging issues. Notably users of threading on Unix systems are urged to upgrade: fixes to thread-specific CPU time measurement on some versions (wrong results and crashes) and fixed a possible deadlock related to shell/1 and the library(process). Please try out 5.7.3 as a release candidate for 5.8.0. 5.7.x contains some very obvious optimizations, notably to unification, arithmetic and reduction of the overhead of calling predicates in general that has proved to improve performance somewhere between 0 and 40% on large applications (0 and 400% on small benchmarks). Your mileage depends mainly on the programming style. Generally, good style pays better :-) Oops, I should close my mailbox now ... If it holds, I will release 5.8.0 based on the 5.7.x branch beginning 2009 and continue further development on 5.9.x. Enjoy --- Jan _______________________________________________ SWI-Prolog mailing list SWI-Prolog< at >iai.uni-bonn.de https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog Jan Wielemaker 2008-12-02T21:53:35 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9219 Good morning. I'm a new delphi programmer and i want to be initiate to expert system. I downloadded the delphiswi.zip which must help me to embbed prolog in delphi. The problem is that i don't know how to use it. So please can u help me. I really want to implement my first  expert system. Thanks. menguele francois 2008-12-01T11:21:43 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9212 Hi SWI team, in general, it is possible to write an operator that has another one as prefix. For instance, :- op(1175, xfx, +++). :- op(1175, xfx, ---). is OK, although + and - are operators too. This is what I would like also for ! and | but: ?- op(1175, xfx, |||). ERROR: [Thread pdt_console_client_0< at >localhost] op/3: Type error: `list' expected, found `(|)||' ?- op(1175, xfx, !!!). op(1175, xfx, !!!). ERROR: [Thread pdt_console_client_0< at >localhost] Syntax error: Operator expected ERROR: [Thread pdt_console_client_0< at >localhost] op(1175, xfx, set_stream(current_output,tty(true)),set_stream(current_input,tty(true)) ERROR: [Thread pdt_console_client_0< at >localhost] ** here ** ERROR: [Thread pdt_console_client_0< at >localhost] !) . It seems that the symbols ! and | are treated by the parser in a special way that makes it impossible to define operators that contain these symbols without being forced to add ugly quotes around the operator. Could this be fixed? Regards, Günter Günter Kniesel 2008-11-30T12:27:48 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9210 excuseme I want a simple program prolog that contains rules and fact. Thank you very much. Setareh Rastad 2008-11-29T19:32:32 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9206 Hello I'd like to use a context-menu, so I create a popup but it doesn't work : the popup is showed, but when I clik on an item, nothing happens ! Thank you for any remark . Joel Here is my code, with different tests. :- pce_begin_class(my_popup, popup, "Gestion du menu des popup "). initialise(P) :-> send(P, send_super, initialise, message := message(< at >prolog, init)), send_list(P, append, [new(_, menu_item('item 1', message := message(< at >prolog, test_item1))), new(_, menu_item('item 2', message := message(< at >prolog, test_item2)))]). /* % essai 4 creation toute simple send_list(P, append, ['item 1','item 2']). */ /* % essai 3 sans création avec new send_list(P, append, [menu_item('item 1',< at >default), menu_item('item 2',< at >default)]). */ /* % essai numero 2 avec messages par défaut send_list(P, append, [new(_, menu_item('item 1',< at >default)), new(_, menu_item('item 2',< at >default))]). */ /* % essai numero 1 avec des messages associés send_list(P, append, [new(_, menu_item('item 1', message(< at >prolog, test_item1))), new(_, menu_item('item 2',message(< at >prolog, test_item2)))]). */ % I think this is stupid ! execute(P) :-> writeln(execute), send(P, send_super, execute). % this works close(P) :-> writeln(close), send(P, send_super, close). :- pce_end_class. init :- writeln('init'). test_item1 :- writeln('item 1'). test_item2 :- writeln('item 2'). set_popup(B) :- new(P, my_popup), send(P, open, on :=B). test :- new(D, window('test')), new(B, box(100, 100)), send(D, display, B, point(10,10)), send(B, recogniser, click_gesture(right,'', single, message(< at >prolog, set_popup, B))), send(D, open). Joel Foutelet 2008-11-24T18:18:48 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9204 please i try to download delphiswi.zip without succes. So can you send me it even by mail. Thank you!!!!!! menguele francois 2008-11-24T13:25:12 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9203 Hi, I've noticed that open/4 doesn't reject invalid options passed in - specifically I just spent a while trying to work out why my test program to copy files in Windows was creating files that were shorter than the ones copied in Linux. It would've been more obvious had my program not contained so many other, more subtle errors, but the thing which got me in the end was that once I realised the 0x0d bytes were being stripped out, I passed mode(binary) to open/4, and was further puzzled as to why this didn't solve the problem. (For those who are similarly surprised, the correct option is type(binary)). Adding to my confusion at this point was the documentation stated that streams opened in iso_latin_1 encoding are read 'fully-untranslated', and I suppose that's right, except that stripping out all 0x0d bytes seems to qualify as 'translation' on at least some level to me... I imagine that ignoring unknown options is useful for forward-compatibility, but perhaps we could have a system flag which would make option-list checking a bit stricter, or at least a debug flag so that a warning could be Sdprintf'd? Does anyone else have any views on this? Thanks, Matt Matt Lilley 2008-11-24T01:40:18 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9196 Hallo, In the lecture there were some remarks and restriction on how to implement the depth first search. I have been able to accomplish this assignment, but since two day I cant (I must) figure out how to convert this implementation to breadth first search! Besides there was the question: what is needed to to convert the representation of the tree to an arbitrary graph? I need your help, please! Yours Ralf P.s my implemenatation searches a number in a graph; tiefensuche(0, 7, Operators). tiefensuche(Start, Target, Pfad) :- asserta(term(knoten(Target, N]))), solve(knoten(Start, B), [],Pfad). solve(STATE,PREVSTATES,[]) :- term(STATE). solve(STATE,PREVSTATES,PATH) :- deadend(STATE), !, fail. solve(STATE,PREVSTATES,PATH) :- length(PREVSTATES,N), maxdepth(M), N > M, !, fail. solve(STATE,PREVSTATES,PATH) :- member(STATE,PREVSTATES), !, fail. solve(STATE,PREVSTATES,[Op|PATH]) :- applicable(Op,STATE), apply_op(Op,STATE,NEWSTATE), solve(NEWSTATE,[STATE|PREVSTATES],PATH). applicable(Op,_) :- member(Op,[op0_5,op0_6,op5_9,op5_4,op9_16,op6_7,op6_8,op7_1,op1_100]). apply_op(Op,S,OpS) :- G =.. [Op,S,OpS], call(G). deadend(_) :- fail. maxdepth(10000000). op0_5(knoten(0, [5, 6]), knoten(5, [4, 9])). op0_6(knoten(0, [5, 6]), knoten(6, [7, 8])). op5_9(knoten(5, [4, 9]), knoten(9, [16])). op5_4(knoten(5, [4, 9]), knoten(4, [])). op9_16(knoten(9, [16]), knoten(16, [])). op6_7(knoten(6, [7, 8]), knoten(7, [1, 12])). op6_8(knoten(6, [7, 8]), knoten(8, [13, 14])). op7_1(knoten(7, [1, 12]), knoten(1, [100])). op7_12(knoten(7, [1, 12]), knoten(12, [])). op8_13(knoten(8, [13, 14]), knoten(13, [])). op8_14(knoten(8, [13, 14]), knoten(14, [])). op1_100(knoten(1, [100]), knoten(100, [])). knoten(0, [5, 6]). knoten(5, [4, 9]). knoten(9, [16]). knoten(7, [1, 12]). knoten(8, [13, 14]). knoten(6, [7, 8]). knoten(1, [100]). knoten(100, []). knoten(4, []). knoten(12, []). knoten(16, []). knoten(13, []). knoten(14, []). Ralf Meermeier 2008-11-21T19:46:59 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9188 Hello, it would be very fine to have a 64 bit version of swi-prolog on macos X Leopard (intel) as mac pros and XSERVE all support 64-bit. The binary version (that i attempted to install on a XSERVE cluster (without success, see other message) ) is only 32-bit and this is a severe limitation for combinatory explorations as we perform. Does the macports procedure allows 64-bits installation ? Furthermore i have some difficulties as macports needs opening ports that are currently closed on the University network. So is there another way to perform the 64-bits install ? Thanks in advance, henry Soldano _______________________________________________ SWI-Prolog mailing list SWI-Prolog< at >iai.uni-bonn.de https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog henry soldano 2008-11-20T09:48:01 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9185 Hello, my problem is the following : i would like to install swi-prolog on a particular location on a volume as it can then be used within a small XSERVE cluster. The volume is managed by the server machine and mounted by the agents (the other XSERVEs). I have downloaded and installed the last version (.65) of SWI-PROLOG ( SWI-Prolog/XPCE 5.6.62 for MacOS X 10.5 (leopard) on intel ) but hte installer does not allow changing location. (there is a choice however between two volumes, but it seems that this does not work : ---------- bash-3.2$ ./swipl dyld: Library not loaded: /opt/local/lib/swipl-5.6.62/lib/i386- darwin9.5.0/libpl.dylib ) I have found a pl.pc file where the prefix of the location can be changed but i still have the same error : ----------------- is it possible to change the location ? something as "/myvolume/ mylocation/opt/local" rather than "/opt/local" would be fine, thanks in advance, Best regards Henry Soldano henry soldano 2008-11-19T16:35:38 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9176 What happened with SWI Prolog on Debian GNU Linux? Why the only package we can install is swi-prolog-doc? I had also dowloaded the rpm package on SWI Prolog site, I couldn't install it because there are a lot of dependencies missing. Arthur _______________________________________________ SWI-Prolog mailing list SWI-Prolog< at >iai.uni-bonn.de https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog Luiz Arthur Pagani 2008-11-19T13:28:49 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9175 Hi all, I'd like to retrieve the symbolic representation of a free variable in an atom, something like that: ?- retrieve(A, Result). Result='A'. or like that: ?- retrieve(A, Result). Result='_G180'. Is it even possible? Thanks in advance, Guillaume Guillaume Piolle 2008-11-19T13:21:42 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9171 Hi, Has anybody come up with a way to send mail from SWI-Prolog using e.g. sendmail? Thanks in advance, Torbjörn Torbjörn Lager 2008-11-14T08:17:09 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9169 Dear All i am having difficult time trying to redirect user from a prolog server to an IIS server user will surf to an IIS server index.html write some info in the form then submit it the data get sent using the get method to a prolog server which exist on another machine the prolog server process the data and then send the data to the the IIS server cgi script through the get method then the cgi display them, i got the first part right but i can't redirect the iis server once i am in the prolog server i can't leave, can some one just refer me to any thing that help me Thanks IIS SERVER-------Data----->prolog server on different machine----Data---->iis/print.cgi the_old_nyx 2008-11-13T22:31:20 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9167 ./configure --with-world gives me configure: error: C compiler cannot create executables In src/config.log I see the following: $ ../src/configure --enable-mt ## --------- ## ## Platform. ## ## --------- ## hostname = jds-vm2 uname -m = x86_64 uname -r = 2.6.24-21-generic uname -s = Linux uname -v = #1 SMP Tue Oct 21 23:09:30 UTC 2008 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown /usr/bin/hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /usr/local/sbin PATH: /usr/local/bin PATH: /usr/sbin PATH: /usr/bin PATH: /sbin PATH: /bin PATH: /usr/games ## ----------- ## ## Core tests. ## ## ----------- ## configure:1792: checking builddir configure:1798: result: src configure:1855: checking for gcc configure:1871: found /usr/bin/gcc configure:1882: result: gcc configure:2120: checking for C compiler version configure:2127: gcc --version >&5 gcc (GCC) 4.2.4 (Ubuntu 4.2.4-1ubuntu3) configure:2130: $? = 0 configure:2137: gcc -v >&5 Using built-in specs. Target: x86_64-linux-gnu Configured with: ../src/configure -v --enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.2 --program-suffix=-4.2 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.2.4 (Ubuntu 4.2.4-1ubuntu3) configure:2140: $? = 0 configure:2147: gcc -V >&5 gcc: '-V' option must have argument looks like the argument for -V is missing? Any help appreciated, jds John Stewart 2008-11-13T03:02:10 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9165 Hello, I am using SWI-Prolog version 5.6.59 on windows ( vista / xp / 2000 ). argv[0] = ""; argv[1] = "-x"; argv[2] = "e:\\Projekte\\Prüm\\solve_zubehoer.qlf"; argv[3] = "\0"; int init_code = PL_initialise(3, argv); PL_initialise fails with "SWI-Prolog: Failed to release stacks" if i have a german umlaut in a path or filename. plcon also give an error. C:\Users\lesta>plcon -x "e:\Projekte\Prüm\solve_zubehoer.qlf" SWI-Prolog: Failed to release stacks C:\Users\lesta> It work correct with plwin. Is there a solution calling PL_initialise from C ? thanks in advance Uwe Lesta 2008-11-12T10:20:00 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9164 Prolog compiler: call for papers   We are planning to have a joint session on  prolog compiler organzied as part of  International Conference on Software Engineering Theory and Practice (SETP-09) and the 2009 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09) (website: http://www.PromoteResearch..org) will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft paper submissions. The conference will take place at the same time and venue where several other international conferences are taking place. The other conferences include: ·         International Conference on Automation, Robotics and Control Systems (ARCS-09) ·         International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09) ·         International Conference on Enterprise Information Systems and Web Technologies (EISWT-09) ·         International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09) ·         International Conference on Information Security and Privacy (ISP-09) ·         International Conference on Recent Advances in Information Technology and Applications (RAITA-09) ·         International Conference on Theory and Applications of Computational Science (TACS-09) ·         International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09)   The website http://www.PromoteResearch.org contains more details.   Sincerely John Edward Publicity committee John Edward 2008-11-11T16:38:46 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9163 [Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 1.6.1 http://des.sourceforge.net has been launched on November, 10th, 2008 and ported to SWI Prolog 5.6.55 Release notes are attached to the end of this message. Please, see http://des.sourceforge.net for details. Best regards. ============================================================== Fernando Sáenz Pérez Profesor Titular de Universidad / Associate Professor Home Page: http://www.fdi.ucm.es/profesor/fernan Tel: + 34 913947642. Fax: + 34 913947547 Despacho / Office: 435 (4ª planta / 4th floor) Dept. Ingeniería del Software e Inteligencia Artificial / Department of Software Engineering and Artificial Intelligence Universidad Complutense de Madrid Facultad de Informática C/Profesor José García Santesmases, s/n E - 28040 Madrid. Spain ============================================================== Version 1.6.1 of DES adds to previous version (1.6.0): Enhancements: o Arithmetic expressions are allowed in the projection list of SELECT statements o Subqueries in comparisons (=, <, >, ...), in either side or even in both sides of the comparison operator (read as ANY, not ALL, which is unsupported up to now) o Display of the number of computed, inserted and deleted tuples o Commands are case-insensitive o Some tweaks on the SQL parsing code for making it hopefully more understandable and efficient o The answer to a SQL query is a relation with name 'answer', and its schema is displayed when solving it o A new use for the /dbschema command: Now, it accepts an optional argument (a database object, which can be a view or a table name) for restricting the displayed schema o The /dbschema command informs about local view definitions for each view o A new SQL DDL statement: drop database, which drops the database (including tables, views, and rules) o Stratifications are not computed during building a view that involves local views. As a consequence, several messages are suppressed (as ‘undefined’ and ‘non stratifiable’) Changes: o Inserted and deleted tuples are not shown Fixed bugs: o Complex left-hand-side relations in joins failed to be parsed o Conjunctive Prolog goals failed to be parsed (bug introduced in version 1.6.0) o Natural joins now return common attributes only once o Datalog rules involving expressions with (prefix) unary operators were incorrectly displayed as infix o Parsing of Datalog bodies failed is some situations were arithmetic operators were involved (as in /assert p(X) :- X is –(1) ) o Parsing of projection lists failed in some situations where table.* was intermixed with references to single table attributes o Program transformation for obtaining safe rules yielded incorrect results in some cases o When dropping a view, its local view definitions (if any) were not dropped as well o Different views could define the same local view name o /listing Name failed to list rules of different arities (bug introduced in version 1.6.0) fernan< at >sip.ucm.es 2008-11-10T15:19:42 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9161 I am having some trouble compiling XPCE on amd64 (Ubuntu Hardy) The problem is the same on 5.6.61, 5.6.62 and 5.7.x (git latest) My last successful compile was 5.6.59, (I can't find a copy of 5.6.60): make[2]: Entering directory `/home/ian/software/pl-5.6.61/packages/xpce/pl/src' gcc -DO_SHAREDLIBRARY -O2 -fno-strict-aliasing -Wall -fPIC -DHAVE_CONFIG_H -I/usr/lib/swi-prolog/include -I../../src -I../../src -DSWI -DHAVE_CONFIG_H -c interface.c -o ../../src/pl/so-interface.o In file included from interface.c:899: table.c: In function ‘atomToName’: table.c:83: warning: passing argument 2 of ‘PL_atom_nchars’ from incompatible pointer type table.c:85: warning: passing argument 2 of ‘PL_atom_wchars’ from incompatible pointer type interface.c: In function ‘getPrintNameProlog’: interface.c:1320: warning: passing argument 2 of ‘Sopenmem’ from incompatible pointer type interface.c: In function ‘termToObject’: interface.c:1469: warning: passing argument 2 of ‘PL_get_nchars’ from incompatible pointer type interface.c:1471: warning: passing argument 2 of ‘PL_get_wchars’ from incompatible pointer type interface.c:1570: warning: passing argument 3 of ‘PL_get_string’ from incompatible pointer type interface.c:1572: warning: passing argument 2 of ‘PL_get_wchars’ from incompatible pointer type interface.c: In function ‘Scontrol_pce’: interface.c:2598: error: ‘SIO_FLUSHOUTPUT’ undeclared (first use in this function) interface.c:2598: error: (Each undeclared identifier is reported only once interface.c:2598: error: for each function it appears in.) interface.c: At top level: interface.c:2609: warning: initialization from incompatible pointer type interface.c:2610: warning: initialization from incompatible pointer type make[2]: *** [../../src/pl/so-interface.o] Error 1 make[2]: Leaving directory `/home/ian/software/pl-5.6.61/packages/xpce/pl/src' make[1]: *** [pl-itf] Error 2 make[1]: Leaving directory `/home/ian/software/pl-5.6.61/packages/xpce/src' make: *** [all] Error 2 thanks for any help Ian Haywood _______________________________________________ SWI-Prolog mailing list SWI-Prolog< at >iai.uni-bonn.de https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog Ian Haywood 2008-11-09T11:23:55 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9158 Hi every body,, i am facing a problem with connecting to mysql server through prolog here is how things are working. i have installed mysql prolog on a virtual machine on my laptop and tried to connect to it using this code --> odbc_connect('project',_,[user(root),password('111111'),alias('project'),open(once)]). this error appeared ---> ERROR : ODBC: state S1000 : [TCX][MyODBC]Client does not Support Authentication protocol requested by server ; consider upgrading MySQL Client any way i fixed it using this code --> SET PASSWORD FOR ' username ' < at > ' Host ' = OLD_PASSWORD ('new pass ' ); no when i try to connect to the mysql from mylab to the virtual machine using prolog i get the same error ->ERROR : ODBC: state S1000 ...... i tested all the connections and every thing is connected ,, does any one know how to fix this cause after googleing all the posts i found the mysql server was on the same machine people wasn't trying to connect using prolog. Thanks the_old_nyx 2008-11-09T16:38:46 http://comments.gmane.org/gmane.comp.ai.prolog.swi/9153 Hi, thanks for looking at this message! Below is part of a task I have to do (guide a robot around a house),this is what I've done so far: move(bathroom,redkey,hall). move(hall,yellowkey,kitchen). move(kitchen,yellowkey,hall). move(hall,greenkey,bedroom). move(bedroom,bluekey,balcony). move(balcony,redkey,garden). path(Place,Key,NewPlace):-move(Place,Key,NewPlace). path(Place,Key,NewPlace):-move(NewPlace,Key,Place). connect(Place,Key):-path(Place,Key,NewPlace), print(NewPlace). connect(Place,[Key|Rest]):-path(Place,Key,Destination), connect(Destination,[Key|Rest]), print(Destination), print(Rest). I'm a bit confused atm, my aim is to enter a start room, and keys to get to certain places. so for example, ?-connect(bathroom,[redkey,yellowkey]). will return: hall,kitchen my question is how do I correct the second "connect" rule? prolog keeps returning "false"! :( Cheers, Joey styles0 2008-11-07T21:13:07 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.ai.prolog.swi