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!

Search results for query: *

  1. prologHelpNeeded

    sting tokenizing?

    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...

Part and Inventory Search

Back
Top