Package experiment

This theory is concerned with accessing the Prolog system. Internally the forward chaining component uses clause references to undo insertions and removals:

Kommentare