home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / EXAMPLES / SOAP.LF < prev    next >
Text File  |  1996-06-04  |  659b  |  29 lines
  1. % Copyright 1992 Digital Equipment Corporation
  2. % All Rights Reserved
  3. % Sample query: soap ?
  4.  
  5.  
  6. module("soap") ?
  7. public(soap) ?
  8.  
  9. soap_opera := tv_show(characters => [H,W,M],
  10.                       husband => H:dick,
  11.                       wife => W:alcoholic & long_lost_sister(H),
  12.                       mailman => M)
  13.             | lovers(M,H),blackmail(W,M).
  14.  
  15. person := {gay;alcoholic;drug_addict}.
  16. dick   <| gay.
  17. jane   <| alcoholic.
  18. harry  <| drug_addict.
  19.  
  20. long_lost_sister(gay) -> {cleopatra;jane}.
  21.  
  22. lovers(harry,gay).
  23.  
  24. blackmail(jane,X:drug_addict) :- lovers(X,dick).
  25.  
  26. terrible(soap_opera).
  27.  
  28. soap :- terrible(T:tv_show(characters => list)),
  29.     pretty_write(T).