Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

Register Log in
  • Congratulations IamaSherpa on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

sting tokenizing?

Status
Not open for further replies.
prologHelpNeeded

prologHelpNeeded

Programmer
Jan 21, 2005
1
GB
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 :)
 
Status
Not open for further replies.

Part and Inventory Search

Sponsor

Back
Top