Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

How does recursion in Prolog works from inside. One example

Prolog converting integer to a list of digit

list prolog digit clpfd

Prolog implement and/2, or/2, nand/2, nor/2, xor/2 [closed]

Trouble defining an infix binary operator in prolog

prolog operators swi-prolog

Define parts of a predicate across several modules

module prolog swi-prolog

Prolog - unexpected end of file

input io prolog

Meaning of curly brakets in Prolog

syntax prolog curly-braces

How to check if all elements of one list are members of another list in Prolog

list prolog compare

Prolog - Cartesian product calculator

About building a list until it meets conditions

list prolog clpfd dcg

Why doesn't gnu prolog support the "false" predicate? (I've changed to swi)

Prolog Recursion skipping same results

What is the bottleneck in this primes related predicate?

performance prolog primes

Example how to use predsort(:Compare, +List, -Sorted) in prolog

Prolog program that deletes every n-th element from a list

list prolog

A positive_integer/1 predicate that works for big numbers

prolog integer clpfd

How to swap three by three elements in a prolog list?

Arithmetics in Prolog, represent a number using powers of 2

prolog coin-change

Formulation in Prolog

prolog dcg

Parsing an expression in Prolog and returning an abstract syntax