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

New posts in prolog

How to avoid using assert and retractall in Prolog to implement global (or state) variables

prolog dcg prolog-assert implicit-state-passing

Herbrand universe and Least herbrand Model

prolog logic-programming

Prolog DCG: find last element

prolog dcg

Have any commercial video games ever used Prolog? [closed]

prolog game-engine

Prolog existence_error procedure in basic example

prolog gnu-prolog

Is this Prolog terminology correct? (fact, rule, procedure, predicate, ...)

prolog terminology iso-prolog

Prolog: Failure driven loops

prolog logic-programming prolog-setof

Prolog - wolf goat cabbage

prolog prolog-setof river-crossing-puzzle

Is there an automatic parallel prolog implementation?

multithreading concurrency parallel-processing prolog logic

Does any version of Prolog support higher order abstraction of accumulators?

prolog mercury

Automatic results showing?

prolog backtracking prolog-toplevel

How can I create this DCG in Prolog?

prolog regular-language dcg

How can I pass a predicate as parameter for another predicate in Prolog?

parameters prolog expression predicate

Infinite loop in prolog? Or just very slow?

prolog

Cryptogram Puzzle with Prolog CLPFD

prolog clpfd cryptarithmetic-puzzle

What is the difference between a list with anything ([_]) and anything (_)

list prolog

Make a predicate reversible

prolog

Prolog: how to avoid backtracking without cuts?

prolog backtracking prolog-dif logical-purity

how to split a sentence in swi-prolog

prolog swi-prolog dcg

Emulating Prolog backtracking in F#

parsing f# prolog language-design pattern-matching
« Newer Entries Older Entries »