Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog-dif

Simple Prolog delete from list

prolog prolog-dif

How to implement a not_all_equal/1 predicate

Prolog: First duplicate value

list prolog prolog-dif

Implement a Prolog predicate that say if an element belong to a list. Problems with not numerical lists

prolog prolog-dif

Add two more occurrences using prolog

list prolog prolog-dif

`var(A)` and order of execution

Prolog: how to avoid backtracking without cuts?

Prolog: inequality operator

prolog prolog-dif

Prolog: a person is a sibling of himself?

prolog prolog-dif

Force Prolog to choose unique values of variables

prolog crossword prolog-dif

What are the pros and cons of using manual list iteration vs recursion through fail

Simplified Travelling Salesman in Prolog

Deleting all occurrences of an element from a list

prolog prolog-dif

Remove leading zeros in list in Prolog

list prolog prolog-dif

How to express a disjunction of inequalities compactly without redundant answers/solutions

prolog prolog-dif

different/2 - does a pure, determinate definition exist?

How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?

Reification of term equality/inequality

prolog prolog-dif

What is the logical 'not' in Prolog?

prolog prolog-dif