[Home]  [Edit this page]  [Recent Changes]  [Special Pages]  [Help
PrologIf

(Prolog) if, :-

if is used to infer conditions. Instead of typing if, you can use :-.

The example below shows that Bill likes an activity if Tom likes that activity.

PREDICATES
  nondeterm likes(symbol, symbol)
CLAUSES
  likes(tom,baseball).
  likes(tom,swimming).
  likes(bill, Activity) if likes(tom, Activity).
  
GOAL
  likes(bill, What_Bill_likes).


The last line is equivalent to:

  likes(bill, Activity) :- likes(tom, Activity).


'If' links

Code links



last edited (October 24, 2006) by bilderbikkel, Number of views: 1476, Current Rev: 4 (Diff)

[Edit this page]  [Page history]  [What links here]  [Discuss this topic]  [Printer Friendly]  

Members

Username:

Password:


Register
Forgot Password?




Programmers Heaven - for .NET, Java, C/C++ and WEB Developers!
© 1996-2008 Community Networks Ltd. All rights reserved. Reproduction in whole or in part, in any form or medium without express written permission is prohibited. Violators of this policy may be subject to legal action. Please read Terms Of Use and Privacy Statement for more information. Development by Tore Nestenius at .NET Consultant - Synchron Data.