TURBO PROLOG. Терёхин В.В. - 65 стр.

     "Return of the Ring")).
owns("Bill",
     book("James A. Mishener",
     "Space")).
owns("Jack",
     book("Manuel Puig",
     "Kiss of the Spider Woman")).
owns("Beth",
     book("Frank Herbert",
     "Dune")).
owns("Beth",
     book("Tom Clancy",
     "The Hunt for Red October")).
owns("Linda",
     book("Garrison Keillor",
     "Lake Wobegon Days")).
     /* грампластинки */
owns("Bill",
     record("Elton John",
     "Ice Fair", "popular")).
owns("Bill",
     record("Michael Jackson - Lionel Richie",
     "We are the World",
     "popular")).
owns("Jack",
     record("Bruce Springsteen",
     "Born to Run", "popular")).
owns("Jack",
     record("Benny Goodman",
     "The King of Swing", "jazz")).
owns("Beth",
     record("Madonna", "Madonna", "popular")).
     /* правила */
show_misc_things :-
      owns(Owner, misc_thing(Whatever)), write(Owner,"
     ",Whatever), nl, fail.
show_misc_things.
show_books :-
     owns(_,book(_,Title)),
     write(" ",Title), nl,
     fail.
show_books.
show_records :-
     owns(Owner,record(_,Album,_)),
     write(" ",Owner," ",Album), nl,


                                                         65