Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

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

Prolog: Random Labeling

prolog sicstus-prolog clpfd

Prolog : avoid redundant choice points (non-determinism) with and without cut operator

Force Prolog to choose unique values of variables

prolog crossword prolog-dif

How to choose between bagof, setof and findall in Prolog

prolog prolog-setof

Input in Prolog

mapping prolog dcg

Difference between "open-ended lists" and "difference lists"

prolog difference-lists