ai.prolog.swi (date)

ai.prolog.swi (date)

October 31, 2006

RE: Any Library to Handle Conceptual Graphs, Alan Baljeu
Any Library to Handle Conceptual Graphs, Woon Kiong Tan

October 30, 2006

Re: Depth numbers in command-line debugger?, Ivan V Filippenko
Re: Cut question, Ivan V Filippenko
Re: Cut question, Ivan V Filippenko
Depth numbers in command-line debugger?, Ivan V Filippenko
Re: Cut question, Jan Wielemaker
Cut question, Kimberly Voll
a (very) simple question, mauro
Re: Strange behavior of arithmetic shift, Jan Wielemaker
Strange behavior of arithmetic shift, Roberto Bagnara

October 25, 2006

RE: concatenate several lists, chris . painter
RE: concatenate several lists, Alan Baljeu
Re: how to compile, Jan Wielemaker
concatenate several lists, compuin5y313
how to compile, vinu bharathi

October 24, 2006

Re: RE: tossing out duplicate constraints in CHR rules, Tom Schrijvers
Re: RE: tossing out duplicate constraints in CHR rules, Jan Wielemaker
Re: RE: tossing out duplicate constraints in CHR rules, Tom Schrijvers
RE: tossing out duplicate constraints in CHR rules, Murray, William R
tossing out duplicate constraints in CHR rules, Murray, William R

October 23, 2006

Re: PL Unit and debugging, Jan Wielemaker

October 22, 2006

Re: PL Unit and debugging, Jan Wielemaker

October 21, 2006

Re: PL Unit and debugging, Jan Wielemaker
Re: PL Unit once more, Jan Wielemaker
PL Unit once more, Lukas Degener
PL Unit and debugging, Lukas Degener

October 20, 2006

prolog linking to dll, Lars Weber
Re: Prolog Exception only for Unix, Jan Wielemaker

October 19, 2006

Re: Prolog Exception only for Unix, Paul Singleton
Re: Prolog Exception only for Unix, Christoph Spielmann
Prolog Exception only for Unix, Viswasundar.Sethuraman
Re: Lists and Sets processing problem with Prolog, Richard A. O'Keefe
Re: Predicate that transform arbitrary proposition to CNF, vitz399
Re: Predicate that transform arbitrary proposition to CNF, Richard A. O'Keefe

October 18, 2006

RE: Lists and Sets processing problem with Prolog, Alan Baljeu
Lists and Sets processing problem with Prolog, vitz399
Re: Progress on 5.7.0, Jan Wielemaker
Re: C++ foreign interface: int vs. pointer, Bram Adams
Re: XPCE class variables warning, Jan Wielemaker
RE: Progress on 5.7.0, Alan Baljeu
RE: C++ foreign interface: int vs. pointer, Alan Baljeu
XPCE class variables warning, Tom Conlon
Re: Progress on 5.7.0, Jan Wielemaker
Re: C++ foreign interface: int vs. pointer, Bram Adams
Re: Loading Different Saved States in C, Paulo Moura
Re: Loading Different Saved States in C, Jan Wielemaker
Re: Loading Different Saved States in C, Mino Napoletano
Re: Predicate that transform arbitrary proposition to CNF, vitz399
Re: Predicate that transform arbitrary proposition to CNF, Richard A. O'Keefe
Re: Well-formed clause vs clause, Richard A. O'Keefe

October 17, 2006

Progress on 5.7.0, Jan Wielemaker
Ann: SWI-Prolog 5.6.22, Jan Wielemaker
RE: Well-formed clause vs clause, Alan Baljeu
RE: halt/0, halt/1, Alan Baljeu
Re: constraints developed in eclipse, Tom Schrijvers
Re: constraints developed in eclipse, J. Manuel Velasco
Re: constraints developed in eclipse, Tom Schrijvers
Re: constraints developed in eclipse, J. Manuel Velasco
Re: Loading Different Saved States in C, Jan Wielemaker
(unknown), mino . napoletano
Re: Loading Different Saved States in C, mino . napoletano
Re: constraints developed in eclipse, Tom Schrijvers
Well-formed clause vs clause, vitz399
Predicate that transform arbitrary proposition to CNF, vitz399
RE: C++ foreign interface: int vs. pointer, Alan Baljeu
constraints developed in eclipse, J. Manuel Velasco
Re: How to load XML file with non English element and attribute names?, Jan Wielemaker
halt/0, halt/1, Sombat Khruathong
Re: qsave_program, Jan Wielemaker
Loading Different Saved States in C, Mino Napoletano
Re: Loading Different Saved States in C, Jan Wielemaker

October 16, 2006

Re: converts predicates to normal logic notation, Richard A. O'Keefe
How to load XML file with non English element and attribute names?, Ilmars Poikans
Re: C++ foreign interface: int vs. pointer, Bram Adams
Re: C++ foreign interface: int vs. pointer, Jan Wielemaker
RE: C++ foreign interface: int vs. pointer, Alan Baljeu
C++ foreign interface: int vs. pointer, Bram Adams
RE: converts predicates to normal logic notation, Alan Baljeu
Re: converts predicates to normal logic notation, vitz399
Re: converts predicates to normal logic notation, Pierpaolo BERNARDI
Re: Outputting non-ground terms, Pierpaolo BERNARDI
converts predicates to normal logic notation, vitz399

October 15, 2006

Outputting non-unified terms, Robert Rothenberg

October 13, 2006

qsave_program fails, randy sharp

October 12, 2006

Re: Problem calling a saved state from C, Mino Napoletano

October 11, 2006

RE: out of null stack, Alan Baljeu
Re: out of null stack, Jan Wielemaker
out of null stack, Alan Baljeu
RE: Problem calling a saved state from C, Alan Baljeu
RE: Problem calling a saved state from C, Alan Baljeu
Re: Problem calling a saved state from C, Mino Napoletano
Re: Replace atoms within a clause by other values, Richard A. O'Keefe

October 10, 2006

Re: Overriding builtins, Jan Wielemaker
Overriding builtins, Lukas Degener
Re: Atoms from a term, Jan Wielemaker
Overriding builtins, Lukas Degener
RE: Atoms from a term, Alan Baljeu
Re: Atoms from a term, Jan Wielemaker
RE: Problem calling a saved state from C, Alan Baljeu
RE: Replace atoms within a clause by other values, Alan Baljeu
RE: Atoms from a term, Alan Baljeu
Replace atoms within a clause by other values, compuin5y313
Re: Embedded prolog with source files loaded at runtime, Hanák Dávid
Problem calling a saved state from C, Mino Napoletano

October 09, 2006

Re: Problem in (the documentation of) bb_inf/3, Roberto Bagnara
Re: Problem in (the documentation of) bb_inf/3, Leslie De Koninck
Problem in (the documentation of) bb_inf/3, Roberto Bagnara
pl2xpce.so, Jacinto Davila
Re: pl2xpce.so, Jan Wielemaker
Atoms from a term, compuin5y313
Re: update facts from C code, Jan Wielemaker
Intermediate Links between two Nodes, Viswasundar.Sethuraman
update facts from C code, Jack Chan

October 07, 2006

Re: atom_concat, Jan Wielemaker
Re: atom_concat, Bart Demoen
RE : Re: atom_concat, Sombat Khruathong
How to check is an atom is convertable to a number, Sombat Khruathong
multi threaded calls from Java to SWI Prolog, compuin5y313
Re: clpq dump, Leslie De Koninck
clpq dump, Fred Mesnard
atom_concat, Sombat Khruathong
Re: convert unbounded int to C float or double in foreign code, Roberto Bagnara

October 06, 2006

convert unbounded int to C float or double in foreign code, Paul Singleton
Calling Prolog from C error, Sanjai Narain
Re: A first question (about `$'), Bart Demoen
Re: A first question (about `$'), Marco Antoniotti
Re: questions on using CHR rules in SWI-Prolog, Bart Demoen
Re: A first question (about `$'), Bart Demoen
Re: A first question (about `$'), Jan Wielemaker
Re: SWI - Prolog Installing Problem, Jan Wielemaker
Re: A first question (about `$'), Marco Antoniotti
RE: questions on using CHR rules in SWI-Prolog, Murray, William R

October 05, 2006

threads in swi, Nuno Morgadinho
Re: A first question (about `$'), Jan Wielemaker
Re: questions on using CHR rules in SWI-Prolog, Tom Schrijvers
A first question (about `$'), Marco Antoniotti
Re: Debugging Prolog from a Visual C Application, Mino Napoletano
Re: questions on using CHR rules in SWI-Prolog, Bart Demoen
Re: XPCE, Jan Wielemaker
Re: Debugging Prolog from a Visual C Application, Jan Wielemaker
Re: Debugging Prolog from a Visual C Application, Mino Napoletano
RE: questions on using CHR rules in SWI-Prolog, Murray, William R

October 04, 2006

XPCE, joel . foutelet
Re: XPCE mailing list, Jan Wielemaker
XPCE mailing list, joel . foutelet
Re: Embedded prolog with source files loaded at runtime, Tom Schrijvers
Re: Checking constraints dynamically, Leslie De Koninck
Re: c with prolog, J. Manuel Velasco
Re: Debugging Prolog from a Visual C Application, Jan Wielemaker
Re: Debugging Prolog from a Visual C Application, mino . napoletano
Re: Embedded prolog with source files loaded at runtime, Jan Wielemaker
Re: Embedded prolog with source files loaded at runtime, Hanák Dávid
Re: questions on using CHR rules in SWI-Prolog, J. Manuel Velasco
Re: questions on using CHR rules in SWI-Prolog, Tom Schrijvers
Re: Debugging Prolog from a Visual C Application, Jan Wielemaker
Checking constraints dynamically, Robert Rothenberg
Debugging Prolog from a Visual C Application, Mino Napoletano
Re: questions on using CHR rules in SWI-Prolog, Tom Schrijvers
c with prolog, vinu bharathi
questions on using CHR rules in SWI-Prolog, Murray, William R

October 03, 2006

RE: Semantic wikis in SWI-Prolog?, RdR
Re: Semantic wikis in SWI-Prolog?, Jocelyn Paine
Re: Embedded prolog with source files loaded at runtime, Jan Wielemaker
Re: Embedded prolog with source files loaded at runtime, Hanák Dávid
Re: make/0 and timestamps, Jan Wielemaker
Re: Fwd: Re: make/0 and timestamps, Jan Wielemaker
RE: Fwd: Re: make/0 and timestamps, Alan Baljeu
Re: Embedded prolog with source files loaded at runtime, Jan Wielemaker
Embedded prolog with source files loaded at runtime, Hanák Dávid
Re: Fwd: Re: make/0 and timestamps, Jan Wielemaker
Re: Fwd: Re: make/0 and timestamps, Jan Wielemaker
Re: Fwd: Re: make/0 and timestamps, Paul Singleton
Fwd: Re: make/0 and timestamps, Jan Wielemaker
Re: Intel Mac success, Jan Wielemaker
Intel Mac success, Tom Conlon
Re: fastest options?, Jan Wielemaker
Re: fastest options?, Nuno Morgadinho

October 02, 2006

Ann: SWI-Prolog 5.6.21, Jan Wielemaker

October 01, 2006

Python API?, PL. Miraglia (home)

News | FAQ | advertise