comp.lang.prolog

Date Index

pedagogic project, david strainchamps
Problem with SWI-Prolog, SRocha
- Re: Problem with SWI-Prolog, Ligezin
- Re: Problem with SWI-Prolog, Geoffrey Summerhayes
problem with anonymous variables, ouyang . jie
- Re: problem with anonymous variables, Bart Demoen
  - Re: problem with anonymous variables, ouyang . jie
    - Re: problem with anonymous variables, Brian Hulley
- Re: problem with anonymous variables, Anders Lindén
  - Re: problem with anonymous variables, Torkel Franzen
    - Re: problem with anonymous variables, Anders Lindén
- Re: problem with anonymous variables, Anders Lindén
  - Re: problem with anonymous variables, ouyang . jie
Prolog -> Tex, gipsy boy
- Re: Prolog -> Tex, Marco Gavanelli
- Re: Prolog -> Tex, Brian Hulley
- Re: Prolog -> Tex, Stefan Revets
trying to flatten a list, Anders Lindén
- Re: trying to flatten a list, Roy Haddad
- Re: trying to flatten a list, Anders Lindén
  - Re: trying to flatten a list, rafe
- Re: trying to flatten a list, student
interpreter?, Gregor Rot
- Re: interpreter?, tmp123
Who needs types if we have terms?, tmp123
- Re: Who needs types if we have terms?, Torkel Franzen
- Re: Who needs types if we have terms?, Brian Hulley
  - Re: Who needs types if we have terms?, tmp123
    - Re: Who needs types if we have terms?, Brian Hulley
    - Re: Who needs types if we have terms?, tmp123
Prolog for beginners., Jim Spriggs
- Re: Prolog for beginners., Bart Demoen
  - Re: Prolog for beginners., Jim Spriggs
- Re: Prolog [book] for beginners., Jim Spriggs
  - Re: Prolog [book] for beginners., publiustemp-googlegroups
    - Re: Prolog [book] for beginners., Jim Spriggs
    - Re: Prolog [book] for beginners., publiustemp-googlegroups
    - Re: Prolog [book] for beginners., Jim Spriggs
[OT] How to print code?, Sune T. B. Nielsen
- Re: [OT] FORGET IT! [was: How to print code?}, Sune T. B. Nielsen
Problem, martin
- Re: Problem, Matthijs Wensveen
- Re: Problem, Anders Lindén
newbie: Out of local stack, matching values from 0 to 10, Matthijs Wensveen
- Re: newbie: Out of local stack, matching values from 0 to 10, Jan Wielemaker
  - Re: newbie: Out of local stack, matching values from 0 to 10, Bart Demoen
    - Re: newbie: Out of local stack, matching values from 0 to 10, Matthijs Wensveen
double_quotes doesnt return codes in SWI-Prolog, blindsearch
- Re: double_quotes doesnt return codes in SWI-Prolog, Jan Wielemaker
  - Re: double_quotes doesnt return codes in SWI-Prolog, blindsearch
help with parsing and dcg (swi-prolog in particular), blindsearch
- Re: help with parsing and dcg (swi-prolog in particular), Brian Hulley
  - Re: help with parsing and dcg (swi-prolog in particular), Brian Hulley
  - Re: help with parsing and dcg (swi-prolog in particular), blindsearch
    - Re: help with parsing and dcg (swi-prolog in particular), Brian Hulley
    - Re: help with parsing and dcg (swi-prolog in particular), Brian Hulley
    - Re: help with parsing and dcg (swi-prolog in particular), blindsearch
    - Re: help with parsing and dcg (swi-prolog in particular), Jan Wielemaker
Efficiently finding combinations, publiustemp-googlegroups
- Re: Efficiently finding combinations, Bart Demoen
  - Re: Efficiently finding combinations, publiustemp-googlegroups
  - Re: Efficiently finding combinations, Christophe Delord
- Re: Efficiently finding combinations, Bill Spight
  - Re: Efficiently finding combinations, Warwick Harvey
    - Re: Efficiently finding combinations, arv832
  - Re: Efficiently finding combinations, Bill Spight
- Re: Efficiently finding combinations, Nameless
Trying to implement MTD(f) search algorithm in Prolog..., Diogo Bastos
Can i make a variable like those in imperative language ?, SoULiaNe
- Re: Can i make a variable like those in imperative language ?, Diogo Bastos
- Re: Can i make a variable like those in imperative language ?, Nick Wedd
- Re: Can i make a variable like those in imperative language ?, goodrich_ms
- Re: Can i make a variable like those in imperative language ?, student
- Re: Can i make a variable like those in imperative language ?, tmp123
newbie question about type error, fd_domains and gprolog, Josh Smith
MYCIN type Certainty Reasoning, Spacen Jasset
Vertex List from Points, eclifter
- Re: Vertex List from Points, Brian Hulley
gplc is outputting a lot of errors, Anders Lindén
- Re: gplc is outputting a lot of errors (problem solved), Anders Lindén
Logic programming and image processing?, tmp123
f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, Brian Hulley
- Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, Jan Wielemaker
  - Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, Brian Hulley
    - Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, Joachim Schimpf
    - Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, Brian Hulley
- Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, gary
  - Re: f(a:-b,c) or f((a:-b),c) - How should compound args be parsed?, Brian Hulley
Re: Looking for "diff" algorithm., tmp123
Adding to the end of a list, Anders Lindén
- Re: Adding to the end of a list, Torkel Franzen
- Re: Adding to the end of a list, Brian Hulley
  - Re: Adding to the end of a list, Torkel Franzen
  - Re: Adding to the end of a list, Bill Spight
    - Re: Adding to the end of a list, Brian Hulley
    - Re: Adding to the end of a list, Brian Hulley
my perm/2 is not commutative, Anders Lindén
- Re: my perm/2 is not commutative, Kral Stefan
Re: deductive databases, student
- <Possible follow-ups>
- Re: deductive databases, Patrick Herring
  - Re: deductive databases, Alfredo Novoa
    - Re: deductive databases, Patrick Herring
- Re: deductive databases, mountain man
- Re: deductive databases, Jan Hidders
  - Re: deductive databases, rafe
  - Re: deductive databases, Bart Demoen
The Great Computer Language Shootout, igouy
Logic Programming In Perl, publiustemp-googlegroups
Need help with a prolog program, gfig
CHR 2005 Call for Papers, Tom Schrijvers
Re: My first lptp proof, student
Two elementary facts about 'append/3' and proof thereof., student
Filtering a list, tmp123
- Re: Filtering a list, Bart Demoen
  - Re: Filtering a list, tmp123
Re: What should the semantics of hierarchical modules be?, Alexei A. Morozov
- Re: What should the semantics of hierarchical modules be?, Brian Hulley
  - Re: What should the semantics of hierarchical modules be?, Bart Demoen
    - Re: What should the semantics of hierarchical modules be?, Brian Hulley
    - Re: What should the semantics of hierarchical modules be?, Jan Wielemaker
    - Re: What should the semantics of hierarchical modules be?, Brian Hulley
    - Re: What should the semantics of hierarchical modules be?, Joachim Schimpf
    - Re: What should the semantics of hierarchical modules be?, Brian Hulley
Problems with SWI debugger, goodrich_ms
- Re: Problems with SWI debugger, goodrich_ms
  - Re: Problems with SWI debugger, Jan Wielemaker
    - Re: Problems with SWI debugger, goodrich_ms
ANN: Prolog Server Pages, Benjamin Johnston
- Re: ANN: Prolog Server Pages, Norbert E. Fuchs
dfs, larrinaga
- Re: dfs, Bart Demoen
  - Re: dfs, larrinaga
  - Re: dfs, larrinaga
Beginner's questions, Søren Hansen
- Re: Beginner's questions, Brian Hulley
  - Re: Beginner's questions, Søren Hansen
    - Re: Beginner's questions, Brian Hulley
    - Re: Beginner's questions, Brian Hulley
    - Re: Beginner's questions, Brian Hulley
    - Re: Beginner's questions, Søren Hansen
    - Re: Beginner's questions, Brian Hulley
    - Re: Beginner's questions, Brian Hulley
    - Re: Beginner's questions, Bill Spight
    - Re: Beginner's questions, Søren Hansen
    - Re: Beginner's questions, Jan Wielemaker
- Re: Beginner's questions, Carlo Capelli
  - Re: Beginner's questions, Carlo Capelli
    - Re: Beginner's questions, Jan Wielemaker
    - Re: Beginner's questions, Carlo Capelli
What predicate reads the environment variables in XSB?, John Small
- Re: What predicate reads the environment variables in XSB?, John Small
comp.lang.prolog Frequently Asked Questions, Remko Troncon
- <Possible follow-ups>
- comp.lang.prolog Frequently Asked Questions, Remko Troncon
Re: bad pi, Andreas Kochenburger
Re: Non dominating queens problem, Bart Demoen
- <Possible follow-ups>
- Re: Non dominating queens problem, Bart Demoen
  - Re: Non dominating queens problem, Geoffrey Summerhayes
    - Re: Non dominating queens problem, Geoffrey Summerhayes
    - Re: Non dominating queens problem, Bart Demoen
    - Re: Non dominating queens problem, Bart Demoen
- Re: Non dominating queens problem, Markus Triska
  - Re: Non dominating queens problem, Bart Demoen
    - Re: Non dominating queens problem, Markus Triska
    - Re: Non dominating queens problem, Bart Demoen
    - Re: Non dominating queens problem, Joachim Schimpf
    - Re: Non dominating queens problem, Bart Demoen
    - Re: Non dominating queens problem, Joachim Schimpf
    - Re: Non dominating queens problem, Bart Demoen
Re: CLP vs. plain old Prolog?, Dr Andrew R. Verden
- Re: CLP vs. plain old Prolog?, Robert Oschler