An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.
language
interpreter
logic
first-order-logic
toy-language
logic-programming
automated-theorem-provers
theorem-prover
horn-clauses
-
Updated
Dec 3, 2023 - Haskell