ai.prolog.swi (thread)

Any Library to Handle Conceptual Graphs, Woon Kiong Tan
- RE: Any Library to Handle Conceptual Graphs, Alan Baljeu
Depth numbers in command-line debugger?, Ivan V Filippenko
- Re: Depth numbers in command-line debugger?, Ivan V Filippenko
Cut question, Kimberly Voll
- Re: Cut question, Jan Wielemaker
  - Re: Cut question, Ivan V Filippenko
- Re: Cut question, Ivan V Filippenko
a (very) simple question, mauro
Strange behavior of arithmetic shift, Roberto Bagnara
- Re: Strange behavior of arithmetic shift, Jan Wielemaker
concatenate several lists, compuin5y313
- RE: concatenate several lists, Alan Baljeu
  - RE: concatenate several lists, chris . painter
how to compile, vinu bharathi
- Re: how to compile, Jan Wielemaker
tossing out duplicate constraints in CHR rules, Murray, William R
- RE: tossing out duplicate constraints in CHR rules, Murray, William R
  - 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
PL Unit once more, Lukas Degener
- Re: PL Unit once more, Jan Wielemaker
PL Unit and debugging, Lukas Degener
- Re: PL Unit and debugging, Jan Wielemaker
- Re: PL Unit and debugging, Jan Wielemaker
  - Re: PL Unit and debugging, Jan Wielemaker
prolog linking to dll, Lars Weber
Prolog Exception only for Unix, Viswasundar.Sethuraman
- Re: Prolog Exception only for Unix, Christoph Spielmann
  - Re: Prolog Exception only for Unix, Paul Singleton
    - Re: Prolog Exception only for Unix, Jan Wielemaker
Lists and Sets processing problem with Prolog, vitz399
- RE: Lists and Sets processing problem with Prolog, Alan Baljeu
- Re: Lists and Sets processing problem with Prolog, Richard A. O'Keefe
XPCE class variables warning, Tom Conlon
- Re: XPCE class variables warning, Jan Wielemaker
Progress on 5.7.0, Jan Wielemaker
- Re: Progress on 5.7.0, Jan Wielemaker
- RE: Progress on 5.7.0, Alan Baljeu
  - Re: Progress on 5.7.0, Jan Wielemaker
Ann: SWI-Prolog 5.6.22, Jan Wielemaker
(unknown), mino . napoletano
Re: Loading Different Saved States in C, mino . napoletano
- Re: Loading Different Saved States in C, Jan Wielemaker
  - Re: Loading Different Saved States in C, Mino Napoletano
    - Re: Loading Different Saved States in C, Jan Wielemaker
    - Re: Loading Different Saved States in C, Paulo Moura
Well-formed clause vs clause, vitz399
- RE: Well-formed clause vs clause, Alan Baljeu
- Re: Well-formed clause vs clause, Richard A. O'Keefe
Predicate that transform arbitrary proposition to CNF, vitz399
- Re: Predicate that transform arbitrary proposition to CNF, 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
  - Re: Predicate that transform arbitrary proposition to CNF, vitz399
constraints developed in eclipse, J. Manuel Velasco
- 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: constraints developed in eclipse, Tom Schrijvers
halt/0, halt/1, Sombat Khruathong
- RE: halt/0, halt/1, Alan Baljeu
Re: qsave_program, Jan Wielemaker
How to load XML file with non English element and attribute names?, Ilmars Poikans
- Re: How to load XML file with non English element and attribute names?, Jan Wielemaker
C++ foreign interface: int vs. pointer, Bram Adams
- RE: C++ foreign interface: int vs. pointer, Alan Baljeu
- 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
    - Re: C++ foreign interface: int vs. pointer, Bram Adams
    - RE: C++ foreign interface: int vs. pointer, Alan Baljeu
    - Re: C++ foreign interface: int vs. pointer, Bram Adams
converts predicates to normal logic notation, vitz399
- Re: converts predicates to normal logic notation, Pierpaolo BERNARDI
  - Re: converts predicates to normal logic notation, vitz399
    - RE: converts predicates to normal logic notation, Alan Baljeu
- Re: converts predicates to normal logic notation, Richard A. O'Keefe
  - Loading Different Saved States in C, Mino Napoletano
    - Re: Loading Different Saved States in C, Jan Wielemaker
Outputting non-unified terms, Robert Rothenberg
- Re: Outputting non-ground terms, Pierpaolo BERNARDI
qsave_program fails, randy sharp
out of null stack, Alan Baljeu
- Re: out of null stack, Jan Wielemaker
  - RE: out of null stack, Alan Baljeu
Overriding builtins, Lukas Degener
- Overriding builtins, Lukas Degener
  - Re: Overriding builtins, Jan Wielemaker
Replace atoms within a clause by other values, compuin5y313
- RE: Replace atoms within a clause by other values, Alan Baljeu
- Re: Replace atoms within a clause by other values, Richard A. O'Keefe
Problem calling a saved state from C, Mino Napoletano
- RE: Problem calling a saved state from C, Alan Baljeu
  - Re: Problem calling a saved state from C, Mino Napoletano
    - 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
Problem in (the documentation of) bb_inf/3, Roberto Bagnara
- Re: Problem in (the documentation of) bb_inf/3, Leslie De Koninck
  - Re: 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: Atoms from a term, Alan Baljeu
  - Re: Atoms from a term, Jan Wielemaker
    - RE: Atoms from a term, Alan Baljeu
    - Re: Atoms from a term, Jan Wielemaker
Intermediate Links between two Nodes, Viswasundar.Sethuraman
update facts from C code, Jack Chan
- Re: update facts from C code, Jan Wielemaker
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
clpq dump, Fred Mesnard
- Re: clpq dump, Leslie De Koninck
atom_concat, Sombat Khruathong
- Re: atom_concat, Bart Demoen
- Re: atom_concat, Jan Wielemaker
convert unbounded int to C float or double in foreign code, Paul Singleton
- Re: convert unbounded int to C float or double in foreign code, Roberto Bagnara
Calling Prolog from C error, Sanjai Narain
Re: SWI - Prolog Installing Problem, Jan Wielemaker
threads in swi, Nuno Morgadinho
A first question (about `$'), Marco Antoniotti
- Re: A first question (about `$'), Jan Wielemaker
  - Re: A first question (about `$'), Marco Antoniotti
    - Re: A first question (about `$'), Jan Wielemaker
    - Re: A first question (about `$'), Bart Demoen
    - Re: A first question (about `$'), Marco Antoniotti
    - Re: A first question (about `$'), Bart Demoen
Checking constraints dynamically, Robert Rothenberg
- Re: Checking constraints dynamically, Leslie De Koninck
  - XPCE mailing list, joel . foutelet
    - Re: XPCE mailing list, Jan Wielemaker
    - XPCE, joel . foutelet
    - Re: XPCE, Jan Wielemaker
Debugging Prolog from a Visual C Application, Mino Napoletano
- Re: Debugging Prolog from a Visual C Application, Jan Wielemaker
  - Re: Debugging Prolog from a Visual C Application, mino . napoletano
    - Re: Debugging Prolog from a Visual C Application, Jan Wielemaker
    - Re: Debugging Prolog from a Visual C Application, Mino Napoletano
    - Re: Debugging Prolog from a Visual C Application, Jan Wielemaker
    - Re: Debugging Prolog from a Visual C Application, Mino Napoletano
c with prolog, vinu bharathi
- Re: c with prolog, J. Manuel Velasco
questions on using CHR rules in SWI-Prolog, Murray, William R
- Re: questions on using CHR rules in SWI-Prolog, Tom Schrijvers
  - Re: questions on using CHR rules in SWI-Prolog, Tom Schrijvers
    - Re: questions on using CHR rules in SWI-Prolog, J. Manuel Velasco
  - RE: questions on using CHR rules in SWI-Prolog, Murray, William R
    - Re: questions on using CHR rules in SWI-Prolog, Bart Demoen
    - Re: questions on using CHR rules in SWI-Prolog, Tom Schrijvers
    - RE: questions on using CHR rules in SWI-Prolog, Murray, William R
    - Re: questions on using CHR rules in SWI-Prolog, Bart Demoen
Re: Semantic wikis in SWI-Prolog?, Jocelyn Paine
- RE: Semantic wikis in SWI-Prolog?, RdR
Embedded prolog with source files loaded at runtime, Hanák Dávid
- 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: Embedded prolog with source files loaded at runtime, Jan Wielemaker
    - Re: Embedded prolog with source files loaded at runtime, Hanák Dávid
    - 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: Embedded prolog with source files loaded at runtime, Tom Schrijvers
Fwd: Re: make/0 and timestamps, Jan Wielemaker
- Re: Fwd: Re: make/0 and timestamps, Paul Singleton
  - 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, Alan Baljeu
  - Re: Fwd: Re: make/0 and timestamps, Jan Wielemaker
- Re: make/0 and timestamps, Jan Wielemaker
Intel Mac success, Tom Conlon
- Re: Intel Mac success, Jan Wielemaker
Re: fastest options?, Nuno Morgadinho
- Re: fastest options?, Jan Wielemaker
Ann: SWI-Prolog 5.6.21, Jan Wielemaker
Python API?, PL. Miraglia (home)