Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

A function that counts the number '1's, '2's and '3's in a list, with count represented as, for example, s(s(s(0))) = 3

prolog

Extensional DCG Test Cases

Defining a module in Prolog

module 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