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

                    Листинг 3.5
/* Программа: Подбор партнера                    */
/* Назначение: Демонстрация конструкции правила. */
      domains
          man = symbol

    predicates
          choice(man)
          short_height(man)      /* мужчина низкого роста */
          medium_height(man) /* мужчина среднего роста */
          tall_height(man) /* мужчина высокого роста */
          black_hair(man) /* мужчина - брюнет */
          brown_hair(man)        /* мужчина - шатен */
          blond_hair(man) /* мужчина - блондин */
          old_car(man)     /* владелец старого автомобиля */
          new_car(man) /* владелец нового автомобиля */
          sports_car(man) /* владелец спортивного автомобиля */
          kathy_choice(man)
          who_is_the_choice

    goal
           who_is_the_choice.

    clauses
          /* факты */
          choice(bill).
          choice(jim).
          choice(mark).
          choice(robert).
          choice(willy).
          choice(tom).
          choice(frank).
          short_height(bill).
          short_height(tom).
          medium_height(bill).
          medium_height(tom).
          tall_height(jim).
          tall_height(robert).
          tall_height(frank).
          black_hair(bill).
          black_hair(willy).
          brown_hair(jim).
          brown_hair(tom).
          blond_hair(mark).
          blond_hair(robert).


                                                                  52