Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in prolog

Prevent unification of variables within list

prolog

Looking up shapes in a lists of lists

list prolog

"Generic programming" in Prolog

generics prolog polymorphism parametric-polymorphism

parsing and generating multi-level list structures with DCG

parsing prolog nested-lists dcg

Multiway tree construction from a node string

algorithm prolog multiway-tree

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 logic proof theorem-proving theorem

prolog convert numbers into roman numerals

numbers prolog dcg clpfd roman-numerals

Prolog negation and logical negation

prolog logic negation-as-failure

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

prolog prolog-dif

Satisfying a set of goals in Prolog

prolog

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

More compact definition

prolog
« Newer Entries Older Entries »