Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

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

prolog prolog-dif prolog-toplevel

Simplified Travelling Salesman in Prolog

prolog backtracking traveling-salesman prolog-dif

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?

prolog prolog-dif logical-purity

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

sorting prolog iso-prolog prolog-dif

Reification of term equality/inequality

prolog prolog-dif

What is the logical 'not' in Prolog?

prolog prolog-dif
« Newer Entries