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 wOOdy-Soft on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Recent content by projectAM

  1. projectAM

    prolog & boolean exp

    Hi, I have a question regarding prolog engine. If I have a precondition to a method : // X>0 and somewhere in the code the expression : X = X + 1, and the method has a postcondition: // X>1. How can I verify the postcondition after inserting to prolog the precondition and the expression? if I...
See more

Part and Inventory Search

Back
Top