Пример простой программы на прологе
| [Скачать с сервера (0.4 Kb) - бесплатно] | 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) | Категория: Пролог Просмотров: 17538 | Загрузок: 1320 | Рейтинг: 0.0/0 | | |
| Комментарии (1) | |
|
| |
Здравствуйте! Подскожите пожалуйста, где я могу прочитать или сачать готовые программы на прологе? Буду всем признательна.