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

      Программа "Предметы - 2" (листинг 3.10) представляет собой видо-
измененный вариант программы "Предметы".
____________________________________________________________
                   Листинг 3.10
/* Программа: Предметы - 2 Файл: PROG0310.PRO           */
/* Назначение: Демонстрация использования конструкций */
/*             альтернативных доменов.          */
domains
      thing = misc_thing(whatever)     ;
      book(author,title)     ;
      record(artist,album,type)
            person,
            whatever,
            author, title,
            artist,album,type = symbol

predicates
      owns(person,thing)
      show_misc_things
      show_books
      show_records

goal
       write("Here are the books:"), nl, nl, show_books.

clauses
            /* факты */
            /* Различные вещи */
       owns("Bill",
            misc_thing("sail boat")).
            owns("Bill",
            misc_thing("sports car")).
       owns("Jack",
            misc_thing("мotor cycle")).
       owns("Jack",
            misc_thing("house trailer")).
       owns("Beth",
            misc_thing("Chevy wagon")).
       owns("Beth",
            misc_thing("Piano")).
            owns("Linda",
            misc_thing("motor boat")).
            /* книги */
       owns("Bill",
            book("J.R.R. Tolkein",


                                                                         64