Содержание
- 2. История Пролога Алан Робинсон и Роберт Ковальский (метод резолюций) начало 70-х - Алан Колмероэ Пролог (ПРОграммирование
- 3. Наиболее известные реализации Пролога CProlog Silogic Knowledge Workbench Arity Prolog Prolog-86 (Prolog Development Center - PDC)
- 4. Логическая программа программа = множество аксиом; вычисление = конструктивный вывод целевого утверждения из программы. Программа содержит:
- 5. Факты Факты, отражающие свойства human(oleg). fruit(orange). red(rose). Факты, отражающие отношения likes(bill, cindy). meet(lena, maria).
- 6. Правила правило – это заключение, для которого известно, что оно истинно, если одно или несколько других
- 7. Вопросы или цели Вопросы (цели) бывают простые и составные. Среди простых вопросов можно также выделить конкретные
- 8. Пример пролог-программы predicates likes(symbol,symbol) fruit(symbol) clauses fruit(apple). fruit(orang). likes(marine, apple). likes(marine, orang). likes(marine, Something):- likes(marine,Something),fruit(Something). goal
- 9. Основные разделы Пролог-программы DOMAINS Объявление доменов PREDICATES Объявление предикатов CLAUSES Предложения (факты и правила) GOAL Подцель_1,
- 10. DOMAINS чтобы задавать доменам (типам) осмысленные имена создавать собственные домены для описания структур данных. Игорь –
- 12. Скачать презентацию