Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in 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

Arithmetic comparison in Prolog

End_of_stream property after opening empty file

prolog iso-prolog

Prolog not halting when implementing reverse list

prolog failure-slice

Matching tuples in Prolog

Capture matching substrings from a DCG

prolog dcg

how can I print all database facts in prolog

prolog

How to generate a list with only two 1s and other 0s of the given length?

list prolog clpfd

Logic programming in python