Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Why prolog uses most-general-unifier and not simply unifier

prolog

A Prolog programme getting ERROR: >/2: Arguments are not sufficiently instantiated

prolog clpfd

Prolog - precedence of operators - Bratko - Chapter 3

What is wrong with this version of trace?

Term expansion before compiling in GNU Prolog

prolog gnu-prolog

Procedure to test whether list represents a set with no duplicates

list prolog

What AI topic should i pick for my class project?

I am trying to create a language a^n b^n-1 c^n-2 using DCG but can't make the succ(0) to handle n

How to solve 15-puzzle paradigm in Prolog with Manhattan & Hamming Heuristics

Create a sublist from a list given an index and a number of elements. Prolog

Even and odd cases for the pivot/2 predicate aren't running properly when placed together

prolog failure-slice

Prolog length of a list

list prolog

How do I freeze a goal for a list of variables?

prolog clpfd automaton

Prolog DCG read from file with separotr

prolog dcg

How to find the biggest digit in a number in Prolog?

prolog

Prolog: Checking lengths of lists inside a list

list prolog

Prolog, on start executing write something

How do I translate Prolog's cuts to Curry?

Writing an existing list to a new list in Prolog

list recursion prolog

Prolog: Display each element of each sublist

prolog