home *** CD-ROM | disk | FTP | other *** search
/ The Datafile PD-CD 5 / DATAFILE_PDCD5.iso / utilities / b / binprolog / !BinPro330 / progs / lattice_pl < prev    next >
Encoding:
Text File  |  1993-09-10  |  389 b   |  15 lines
  1. :-[lattice].
  2. % planets & attributes: must be sorted
  3.  
  4. planet(earth,[moon,near,small]).
  5. planet(jupiter,[far,large,moon]).
  6. planet(mars,[moon,near,small]).
  7. planet(mercury,[near,single,small]).
  8. planet(neptune,[far,medium,moon]).
  9. planet(pluto,[far,moon,small]).
  10. planet(saturn,[far,large,moon]).
  11. planet(uranus,[far,medium,moon]).
  12. planet(venus,[near,single,small]).
  13.  
  14. lcontext(L,Rs):-planet(L,Rs).
  15.