home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / examples / logbsp.log < prev    next >
Encoding:
Text File  |  1993-10-23  |  776 b   |  23 lines
  1. ; Beispiele nach (load "prolog") und (load "logbsp") :
  2.  
  3. (goal () (mensch sokrates))
  4. (goal () (fehlbar sokrates))
  5. (goal (irgendjemand) (fehlbar irgendjemand))
  6. (goal () (hanoi 4))
  7. (goal (ort) (geh draußen ort ()))
  8. (goal (praed-log-ausdruck) (sentence (every man loves a woman) () praed-log-ausdruck))
  9. (goal (p) (sentence (a man that eats a apple loves every dog) () p))
  10. (goal (a b c p) (sentence (a b c) () p))
  11. (deflog list7
  12.   ((a1 a2 a3 a4 a5 a6 a7) (list7 (a1 a2 a3 a4 a5 a6 a7))) )
  13. (goal (sent pred) (and (list7 sent) (sentence sent () pred)))
  14. (prologtrace sentence)
  15. (prologtrace nounphrase)
  16. (prologtrace determiner)
  17. (prologtrace noun)
  18. (prologtrace verbphrase)
  19. (prologtrace transverb)
  20. (prologtrace intransverb)
  21. (goal (p) (sentence (a dog barks) () p))
  22.  
  23.