Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

"Generic programming" in Prolog

parsing and generating multi-level list structures with DCG

Multiway tree construction from a node string

Query the relation between two people in a Prolog Family Tree

prolog family-tree

Prolog -- better way to eliminate duplicate answer in special case?

prolog prolog-cut

Undefined Procedure in SWI-Prolog does not work

prolog undefined procedure

Prolog Compatibility Layers - available programming libraries

prolog gnu-prolog

Time limit in Prolog user input (read)

time prolog limit interpreter

Theorem Proof Using Prolog

prolog convert numbers into roman numerals

Prolog negation and logical negation

Difference between X\=Y and dif(X,Y)

prolog prolog-dif

Satisfying a set of goals in Prolog

prolog

Prolog with .NET [closed]

.net prolog clr

How this prolog crossword solver works?

prolog crossword

Logical purity of when/2 and ground/1

prolog logical-purity

Why did Technical Corrigendum 2 to ISO/IEC 13211-1:1995 omit "bar" from the "token" rule?

prolog iso-prolog

Prolog program capable of finding three consecutive and repetitive values

prolog

Why is the list [1] not included in the answer P = [[]]? Prolog

prolog

Is there a prolog language grammar/spec?

prolog grammar iso-prolog