Runtime 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:

Kommentare