This document gives a reference of the Jekejeke Prolog
programming language. The language is motivated by mathematical
logic but it is not fully declarative since it has still
procedural elements, which destroy a simple semantic. Here and
there we will compare our definitions with the Edinburgh Prolog
standard  and the ISO
Prolog standard .
- Prolog Examples: We
show some examples of the use of the Jekejeke Prolog programming
language. Readers who might be interested in getting a quick
grip of the Jekejeke Prolog programming language and who have
already a basic knowledge of Prolog might stick to this section
- Prolog Conversations:
The Jekejeke Prolog runtime library provides character terminal
based interactions. Among the interactions we find query
answering and source consulting. More...
- Prolog Syntax: In
this section we show what syntax the Jekejeke Prolog interpreter
accepts and how the syntax relates to the mathematical concepts.
The syntax covers multiple levels consisting of tokens, terms
and texts. The syntax is dynamically extensible by operator
- Prolog Theories: The
Jekejeke Prolog programming language comes with a standard set
of predefined predicates. Predicates can be grouped into
theories and we present them as such. More...