miniprolog is a minilanguage created in 2013.

logic programming, Horn clauses, unification

• miniprolog website
• miniprolog first developed in University of Ljubljana
• Read more about miniprolog on the web: 1.