Module micro

This module provides an interface to micro engines. Micro engines share the same controller with its parent. A new micro engine can be created by the predicate micro_new/2. A micro engine can then be controlled by the predicates micro_cont/1 and micro_close/1.

The following micro engine predicates are provided:

micro_new(G, M):
The predicate succeeds in M with a new micro engine for the goal G.
micro_cont(M):
The predicate succeeds if the micro engine M could continue to a success.
micro_close(M):
The predicate succeeds in closing the micro engine M.

Comments