prologHelpNeeded
Programmer
I am trying to write a simple theorem prover in prolog which takes a goal and a rule. i.e. prove(Goal, Rule) The goal and rule are passed in from a php script. The goal would be something like X=X+(Y*O) and the rule A*0=0. So applying the rule to the goal would give the next line as X=X+0.. this is what I want the prog to do. I have no idea how to do this in prolog... google isnt much help, so was hoping someone could point me in the right direction? Thanks 