first-order-unification

There are 2 repositories under first-order-unification topic.

yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
Language:Python10 2 04
wenkokke/FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
Language:Agda8 3 11