Главная » Файлы » Методички » Пролог [ Добавить материал ]

Пример простой программы на прологе

[Скачать с сервера (0.4Kb) - бесплатно] 07.09.2010, 23:38
Язык программирования пролог (prolog) - декларативный (а не процедурный) язык для описания так называемых "баз знаний" в виде аксиом и правил, что позволяет, например, проверять истину теорем, а
также описывать процессы принятия решений.

Стиль программирования в данном языке кардинально отличается от классических процедурных языков типа C++, Java и т.п. Поэтому на первом этапе пример простой программы на этом языке может оказаться весьма полезным.


Сам пример, в котором на примере нескольких аксиом о том, что любит Мери и на основе пары правил делается вывод о том, что любит Бэт:

Code
predicates
  nondeterm likes(symbol, symbol)
  nondeterm fruit(symbol)
  nondeterm color(symbol, symbol)
   
clauses
  % что любит Мери
  likes(mary, pears).
  likes(mary, popcorn).
  likes(mary, apples).

  % что любит Бет
  % Бет любит то, что любит Мери, если это фрукт и если он красный
  likes(beth, X):-likes(mary, X), fruit(X), color(X, red).
  % Бет любит то, что любит Мери, если это кукурузные зерна
  likes(beth, X):-likes(mary, X), X=popcorn.

  % справочная информация
  fruit(pears).  
  fruit(apples).

  color(pears, yellow).
  color(oranges, orange).
  color(apples, red).
  color(apples, yellow).
   
goal
  likes(beth, X).

Хочется отметить, что нам не нужно заботиться о том как всё это обрабатывает пролог... главное результат)


Добавил: COBA (07.09.2010) | Категория: Пролог
Просмотров: 11417 | Загрузок: 586 | Рейтинг: 0.0/0 |
Комментарии (1)
0   Спам
1. Жылдыз   14.10.2011   11:45
Здравствуйте! Подскожите пожалуйста, где я могу прочитать или сачать готовые программы на прологе? Буду всем признательна.

Имя *:
Email *:
Код *: