Minlog Extension Packages

The Jekejeke Minlog module comes with a set of new predicates. Predicates can be grouped into theories and we present them as such:

Comments