Minimal Logic Package

This theory groups the predicates that extend the expressiveness of ordinary Prolog. We find the following topics:

Comments