home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / FILE0.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  350 b   |  20 lines
  1. %====================== fail/0                ===============================
  2. DOMAINS
  3.   Name, Addr = STRING
  4.  
  5. DATABASE
  6.   person(Name,Addr)
  7.  
  8. PREDICATES
  9.   clear_database
  10.   print_all
  11.  
  12. CLAUSES
  13.   clear_database:-retract(person(_,_)),fail.
  14.   clear_database.
  15.  
  16.   print_all:-
  17.     person(Name,Addr),
  18.     write("\nName=",Name,", Adr=",Addr),
  19.     fail.
  20.