Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Variable occurrence in a list of variables

prolog iso-prolog

Subsets in Prolog

list prolog set subset

Becoming operational in Prolog quickly

prolog logic predicate

prolog to SQL converter

sql prolog transpiler

Prolog, find minimum in a list

list prolog minimum traversal

Parsing in Prolog without cut?

How to run SWI-Prolog from the command line?

Which is the best among Visual Prolog, SWI-Prolog, and others? [closed]

prolog

prolog - print the value of a variable

Prolog: Filtering a list?

Equality of two lists of variables

prolog iso-prolog

Declarative uses of memberchk/2

prolog logical-purity

Making prolog predicates deterministic

prolog

How to express a disjunction of inequalities compactly without redundant answers/solutions

prolog prolog-dif

Loading files in Prolog

prolog

How Concurrent is Prolog?

How to concatenate two atoms/strings?

prolog

Prolog - ASSERT and RETRACT

prolog prolog-assert

Prolog - unusual cons syntax for lists

prolog iso-prolog

More determinism for `memberd/2`?

list prolog