Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Testing a too general program

Converting a list into a term in Prolog

prolog

Learn Prolog Now! DCG Practice Example

prolog grammar dcg

Filter out large number from list in prolog

prolog

What is a unification algorithm?

Call prolog predicate from python

python prolog ffi swi-prolog

Simple Prolog delete from list

prolog prolog-dif

How to create global variable in prolog

Remove Ambiguity in abstract syntax in other to write DCG parser Prolog

prolog dcg left-recursion

Prolog - Search a list for an element, print the list if element is found

list prolog

Why is it that, in SWI-Prolog Version 6.4.1, current_functor/2 is false for 0-arity predicates?

prolog swi-prolog

Prolog test is always true var(sum) error

Use of cumulatives

prolog clpfd sicstus-prolog

O(1) term look up

prolog

All partitions of a list in prolog

prolog

How to get Prolog to explain your result beyond the true statement

prolog

Prolog taking inverse of a predicate

prolog

List of integers and infinite loop in Prolog CLPFD

How to use an effective debugger/trace for Prolog

debugging prolog trace

What is Prolog bad at?

prolog