What does the s() predicate do in Prolog?...

Matrix as a list of the matrix row prolog...

Prolog - converting succ representation into decimal...

Prolog addition excercise...

Basic PROLOG counting...

Prolog, check if term is power of 2...

Division in prolog...

Converting lists whose elements' types are paramertized their type-encoded indexes...

Instantiate type variable in Haskell...

Prolog greater_than /2 succ...

Axiom resolution...