Date: Jun 28, 2013 5:51 AM Author: INFINITY POWER Subject: FINALLY FINISHED UNIFY(p1,p2) in Prolog! http://www.phpprolog.com/UNIFY-2-FORMULAS.png
a( B , D ) <=> a( b(c) , d )
This took about 12 months coding and 2000 lines of PHP to get working on the
I just have Tail Recursion to finish next week to get Basic Prolog running!