Das Dogelog Minlog ist eine Erweiterung für die Dogelog Laufzeit. Es bietet attributierte Variablen, Vorwärtsverkettung und Constraint-Solver.