Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Prolog+clpfd: simple binary number parser with value

prolog dcg clpfd

1st program, return true if List 1 has more elements than List 2

prolog

Prolog lists Error: out of global stack

list stack prolog global dcg

Transposing a Matrix in prolog

prolog

Finding Unique Items in a List

prolog

How to parameterize a SPARQL query in SWI Prolog?

Cool, visually-transmissible uses of Prolog [closed]

Why is prolog unification depth-first-search instead of breadth-first-search?

prolog iso-prolog

How to define predicate in prolog programming?

prolog

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?

module prolog iso-prolog

Modulus in Prolog

prolog

List of predicates in Prolog

list prolog

Is there a way I can call non-terminal symbols recursively when working with a DCG in Prolog?

prolog dcg

How does prolog resolution use proof by contradiction?

Mac Prolog Console Text with black highlight

How to make this predicate enumerate trees fairly?

prolog

Optimize program using green and red cuts

Check for one-element list in Prolog

list prolog