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