Reflect Package

This theory is concerned with accessing the Prolog system. The activity inside the Prolog system is distributed over multiple threads. A primary thread can interrupt a secondary thread via signals. Predicates can be marked as thread local.

Comments