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
web!


I just have Tail Recursion to finish next week to get Basic Prolog running!

http://www.phpprolog.com/TESTING.png




Herc
--

www.phpPROLOG.com