Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Does this Prolog program have a simple proof of non-halting?

prolog

matching 'connectors' and creating structure?

parsing prolog dcg

How to attach properties to terms?

prolog

Prolog: How do you iterate between two lists (nest for-loop)?

list prolog

Prolog delete an element into a given list

prolog

Prolog- How to assign an expression to variable

Compute a list of distinct odd numbers (if one exists), such that their sum is equal to a given number

prolog constraints clpfd

Prolog code gives two different results

list prolog

yes/no return in PROLOG query

prolog prolog-toplevel

generate a range of ints -- "out of local stack" [beginner]

prolog failure-slice

Check if any element in List begins with a specific character

prolog

How to find number of same elements in list Prolog?

prolog

In a Warren's Abstract Machine, where are Argument Variables created?

Proper handling of denormal floats in ISO-Prolog

Prolog jargon: id(X,X). fact or rule?

The smallest `max_arity` of compound terms in ISO Prolog programs

How do I sort a list of ages in prolog?

list sorting prolog

Problems with deleting punctuation in list of lists

list prolog