urvishjarvis1 / unificationalgorithm Star 1 Code Issues Pull requests The Prolog Unification algorithm ai first-order-logic artificial-intelligence predicates unification-algorithm prolog-programs Updated Apr 19, 2020 Java