Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

How to delete the last element from a list in Prolog?

list prolog

How to use predicate sharing the same name from several modules in Prolog

prolog swi-prolog

Unit testing in XSB Prolog?

unit-testing prolog xsb plunit

Generate all permutations of the list [1, 1, 2, 2, ..., n, n] where the number of elements between each pair is even in Prolog

algorithm prolog

Duplicate solutions

prolog prolog-setof

Use cut in Prolog to define a once_member/2 function

prolog prolog-cut

Depth First Search Algorithm Prolog

Please explain this Turing Machine simulator written in Prolog

prolog turing-machines

Is this code tail-recursive?

prolog tail-recursion

Are HiLog terms still useful in modern Prolog?

How can I embed a Prolog-like inference engine into a .NET application?

Writing macros in SWI-Prolog

macros prolog swi-prolog

Sliding tile puzzle with varying tile size using logic programming

prolog xsb

Solving a simple geometric puzzle in CLPQ/R (Prolog)

Can I use variables with assert/1?

Algorithm - Ideal Distribution Between Multiple Workshops & Timeframes

Implementing cut in tracing meta interpreter prolog

Is adaptive parsing possible in Prolog?

Prolog nth1 anonymous variables

prolog prolog-toplevel

Different results in swi-prolog and yap