Меню
Главная
Авторизация/Регистрация
 
Главная arrow Информатика arrow ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ
Посмотреть оригинал

Язык Prolog как среда логического программирования

Здесь и далее используется нотация языка SWI-Prolog. Запись вида р (?1?t'}, tn) означает предикат, имеющий арность nf a tlt t2, ..., tn — аргументы предиката. Аргументы могут быть константами либо переменными. В последнем случае они должны начинаться с прописной буквы. Второй предикат здесь реализуетправило. В правиле вначале записывается консеквент (результат логическоговывода), а после символов «:-» список антецедентов (условий правила), разделяемых запятой (конъюнкцией). Если необходимо разделить условия дизъюнкцией,то используются точка с запятой и скобки. Символы «:-» отображают операциюлогического следования I- и могут записываться словом «if».}} {{ В этом параграфе использованы материалы из курсов логического программирования профессора Франка Пфеннинга из университета Карнеги -Меллон (http://www.es.cmu.edu/~fp/courses/lp/lectures/lp-all.pdf), а такжепрофессора Алекса Симпсона из университета Эдинбурга (www.inf.ed.ac.uk/teaching/courses/lp).

 
Посмотреть оригинал
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 

Популярные страницы