comp.lang.prolog
By Author

185 messages sorted by: [ date ] [ thread ] [ subject ]

Starting: 11/30/03
Ending: 12/31/03

Albert van der Horst
- Re: RFP -- Consultant needed (12/17/03)
Alexei A. Morozov
- Re: Help with Visual Prolog 5.2 (12/17/03)
algernon
- Re: builtin: SWI-Prolog (12/23/03)
- builtin: SWI-Prolog (12/21/03)
- structure-copying, structure-sharing (12/08/03)
Amzi! inc.
- Re: Forward chaining? (12/29/03)
- Re: how to increment variables (12/29/03)
Andrzej Lewandowski
- Re: draw icon (12/04/03)
- Re: draw icon (12/04/03)
- Re: Economical use (12/01/03)
Arnaud Gotlieb
- ICLP'04 -- Call for Workshops Proposals (12/19/03)
- CfP: ICLP'04 (International Conference on Logic Programming) (12/19/03)
AS
- Re: Newbie question, please help! (12/16/03)
B.r.K.o.N.j.A.
- Re: Subset sum... (12/18/03)
- Re: Subset sum... (12/18/03)
- Re: Subset sum... (12/18/03)
- Subset predicate (12/18/03)
- Re: Subset sum... (12/18/03)
- Subset sum... (12/17/03)
- Re: "Equilizing" list (12/04/03)
- "Equilizing" list (12/04/03)
Bart Demoen
- Re: Help & Understanding needed, along with a miracle (12/30/03)
- 9th Prolog Programming Contest (12/27/03)
- Re: how to increment variables (12/26/03)
- Re: Adding newlines to a string (12/18/03)
- Re: Subset sum... (12/18/03)
- Re: Out of local stack, with out an infinite recursivity (12/16/03)
- 9th Prolog Programming Contest (12/06/03)
Benjamin Johnston
- Re: Substring Substitution (12/16/03)
- Re: Substring Substitution (12/11/03)
- Re: can we OR the clauses for satisfying the rule?? (12/11/03)
- Re: prolog converting a list (12/10/03)
- Re: Compare time (12/10/03)
- Re: can we OR the clauses for satisfying the rule?? (12/10/03)
Bill Spight
- Re: how to increment variables (12/28/03)
- Re: Subset sum... (12/19/03)
- Re: How to express "Mary is married to Tom if and only if Tom ismarried to Mary"? (12/06/03)
Boogie El Aceitoso
- Forward chaining? (12/28/03)
Brian
- Re: Problem with '>=' (12/09/03)
- Re: draw icon (12/04/03)
- Re: draw icon (12/03/03)
C. M. Sperberg-McQueen
- Re: query: grammars for Prolog? (12/21/03)
- query: grammars for Prolog? (12/21/03)
Catalin Marinas
- Re: Logic in Other Languages (12/16/03)
Cesar Rabak
- Re: How to express "Mary is married to Tom if and only if Tom ismarried to Mary"? (12/07/03)
- Re: How to express "Mary is married to Tom if and only if Tom is married to Mary"? (12/06/03)
- Re: Mercury <-> PDC Prolog (12/04/03)
Charles Pritchard
- Re: RFP -- Consultant needed (12/17/03)
Ciccio Bello
- help with repeted fails (12/18/03)
clefler1
- GNU Prolog (12/08/03)
Danilo Hoffmann
- Re: How to express "Mary is married to Tom if and only if Tom is married to Mary"? (12/06/03)
DaveNlp
- Re: [newbie] exit from query? (12/25/03)
- Re: [newbie] exit from query? (12/25/03)
- [newbie] exit from query? (12/24/03)
David Matthew OVERTON
- Re: Mercury <-> PDC Prolog (12/04/03)
De la Clergerie Eric
- Re: structure-copying, structure-sharing (12/10/03)
Dominik Off
- Problem with '>=' (12/08/03)
Dr Andrew R. Verden
- Re: how to redefine call/2 ? (12/02/03)
Elizabeth Safro
- Re: Arrays (or sth like that) in Visual Prolog 6.1 (12/18/03)
Fergus Henderson
- Re: query: grammars for Prolog? (12/22/03)
- Re: Mercury <-> PDC Prolog (12/10/03)
- Re: newbie question (12/08/03)
- Re: Dealing with callbacks? (12/08/03)
- Re: Dealing with callbacks? (12/08/03)
- Re: Mercury <-> PDC Prolog (12/02/03)
- Re: Is it possible to assert(Table(Item))? (11/30/03)
- Re: How to define a predicate cond(X) meaning: (11/30/03)
- Re: how to redefine call/2 ? (11/30/03)
Fletcher James
- Re: RFP -- Consultant needed (12/17/03)
- RFP -- Consultant needed (12/16/03)
Gary Nastrasio
- Item at start of list (12/02/03)
Geoffrey
- Re: xprolog - equality (12/21/03)
- xprolog - equality (12/21/03)
Grzegorz Rumatowski
- Problem with an example (12/09/03)
Hans Aberg
- Re: query: grammars for Prolog? (12/22/03)
Hector Perez
- Help with Visual Prolog 5.2 (12/15/03)
Holger Kanwischer
- Re: builtin: SWI-Prolog (12/21/03)
Jamie Andrews; real address _at_ bottom of message
- Re: Music composition (12/18/03)
- Re: Prolog, Erlang, Mozart (12/18/03)
- Re: Substring Substitution (12/14/03)
- Re: Substring Substitution (12/11/03)
- Re: GNU Prolog (12/08/03)
Jan Wielemaker
- Re: Out of local stack? (SWI) (12/31/03)
- Re: Out of local stack? (SWI) (12/30/03)
- Re: Efficiency question (12/16/03)
- Re: Can I store a term permanently? (SWI-prolog, C interface) (12/13/03)
- Re: Problem with '>=' (12/09/03)
- Re: how to add a popup-menu to a link? (12/05/03)
- Re: draw icon (12/04/03)
- Re: draw icon (12/04/03)
- Re: reading the output of a program? (12/03/03)
- Re: Question about member/2 (12/01/03)
- Re: C++ implementation of Prolog interpreter (12/01/03)
Jens Kilian
- Re: Problem with '>=' (12/09/03)
- Re: how to redefine call/2 ? (12/01/03)
Jesper Matthiesen
- Re: how to increment variables (12/28/03)
- Pattern matching (12/11/03)
Jim
- Searching through lists. (12/13/03)
Jocelyn Paine
- Pre-processor for "functional Prolog" (12/04/03)
Joe Marshall
- Re: RFP -- Consultant needed (12/16/03)
Jérôme
- Re: How to define a predicate cond(X) meaning: (12/02/03)
Kenny Mees
- Compare time (12/08/03)
kym_at_kymhorsell.com
- Re: can we OR the clauses for satisfying the rule?? (12/10/03)
- Re: reading the output of a program? (12/04/03)
Marbod Hopfner
- how to add a popup-menu to a link? (12/05/03)
Mark Watson
- Re: PROLOG for OS X (12/10/03)
Martin Sondergaard
- Re: Searching through lists. (12/13/03)
- Re: Newbie question, please help! (12/12/03)
- Re: Newbie question, please help! (12/12/03)
- Re: Help with PROLOG predicates (12/03/03)
- Re: Question about member/2 (12/01/03)
Mats Carlsson
- Quintus Prolog 3.5 released (12/30/03)
Matthew Purver
- Re: Item at start of list (12/02/03)
mmasi_at_mascanc.net
- Music composition (12/18/03)
munkie
- Newbie question, please help! (12/12/03)
Nichola
- Re: Help & Understanding needed, along with a miracle (12/31/03)
- Help & Understanding needed, along with a miracle (12/29/03)
Nick Wedd
- Re: Music composition (12/19/03)
- Re: Subset sum... (12/18/03)
- Re: Subset sum... (12/17/03)
- Re: draughts in prolog (ladies game) (12/16/03)
- Re: Problem with '>=' (12/11/03)
- Re: newbie question (12/07/03)
- Re: How to express "Mary is married to Tom if and only if Tom is married to Mary"? (12/06/03)
Oskar Bartenstein
- Re: Substring Substitution (12/11/03)
- Re: Problem with an example (12/09/03)
- March 4-6 Berlin, Germany, INAP2004 (12/03/03)
Paul Singleton
- Re: Mercury <-> PDC Prolog (12/09/03)
Paul Tarau
- Re: Logic in Other Languages (12/16/03)
- Re: Mercury <-> PDC Prolog (12/01/03)
- Re: fibonacci iterative - a problem (12/01/03)
Paulo Moura
- ANN: Logtalk 2.15.5 now available for download (12/31/03)
Pento
- Re: simple mysum predicate (12/05/03)
Pete Abel
- Re: C++ implementation of Prolog interpreter (12/01/03)
PF
- how to increment variables (12/26/03)
phadom
- Re: prolog converting a list (12/10/03)
- prolog converting a list (12/09/03)
Piecu
- Arrays (or sth like that) in Visual Prolog 6.1 (12/08/03)
Przemek P.
- newbie question (12/07/03)
Remko Troncon
- Re: [newbie] exit from query? (12/24/03)
- Re: Subset sum... (12/18/03)
- Re: Subset sum... (12/17/03)
- comp.lang.prolog Frequently Asked Questions (12/16/03)
- Re: structure-copying, structure-sharing (12/10/03)
- Re: PROLOG for OS X (12/10/03)
- comp.lang.prolog Frequently Asked Questions (12/02/03)
rg
- Re: query: grammars for Prolog? (12/21/03)
- Re: query: grammars for Prolog? (12/21/03)
Rob Myers
- Re: Logic in Other Languages (12/17/03)
- Logic in Other Languages (12/16/03)
- Re: Substring Substitution (12/16/03)
- Re: Substring Substitution (12/12/03)
- Substring Substitution (12/10/03)
seguso
- Re: Out of local stack? (SWI) (12/31/03)
- Re: Out of local stack? (SWI) (12/30/03)
- Out of local stack? (SWI) (12/29/03)
- Re: Getting asleep and being awakened? (12/24/03)
- Getting asleep and being awakened? (12/24/03)
- Re: Adding newlines to a string (12/19/03)
- Adding newlines to a string (12/17/03)
- Efficiency question (12/16/03)
- Re: Can I store a term permanently? (SWI-prolog, C interface) (12/13/03)
- Can I store a term permanently? (SWI-prolog, C interface) (12/12/03)
- Re: Dealing with callbacks? (12/05/03)
- Dealing with callbacks? (12/05/03)
- Re: reading the output of a program? (12/04/03)
- reading the output of a program? (12/03/03)
- Question about member/2 (12/01/03)
Simon Gadbois
- Prolog, Erlang, Mozart (12/11/03)
- PROLOG for OS X (12/10/03)
taltman_at_noshpam.lbl.government
- Re: RFP -- Consultant needed (12/17/03)
Tom Breton
- Re: how to increment variables (12/26/03)
- Re: Pro found, but missing Log (11/30/03)
Ton
- Re: Question about member/2 (12/02/03)
TrancoS
- draughts in prolog (ladies game) (12/15/03)
Tristan BENOIST
- Out of local stack, with out an infinite recursivity (12/15/03)
Trond Valen
- How to express "Mary is married to Tom if and only if Tom is married to Mary"? (12/06/03)
Ugo Chirico
- Re: PROLOG for OS X (12/10/03)
vannoord_at_let.rug.nl
- Re: Substring Substitution (12/11/03)
- Re: "Equilizing" list (12/04/03)
viral2_at_hotmail.com
- simple mysum predicate (12/05/03)
Wim Schlebaum
- Re: help with repeted fails (12/23/03)
xunitinmullik
- Re: can we OR the clauses for satisfying the rule?? (12/11/03)
- Re: can we OR the clauses for satisfying the rule?? (12/10/03)
- can we OR the clauses for satisfying the rule?? (12/10/03)

Last message date: 12/31/03
Archived on: 12/31/03 CET

185 messages sorted by: [ date ] [ thread ] [ subject ]

comp.lang.prologBy Author

comp.lang.prolog
By Author