виды_треугольников = виды_треуг(вид,определение)
вид = string
определение = string
PREDICATES
multi треугольник (виды_треугольников)
CLAUSES
треугольник(виды_треуг("треугольник","Фигура, состоящая из трёх точек плоскости и трёх попарно соединяющих эти точки отрезков")).
треугольник(виды_треуг("равнобедренный"," Треугольник у которого две стороны равны")).
треугольник(виды_треуг("прямоугольный","Треугольник, один из углов которого равен 90 градусов ")). треугольник(виды_треуг("правильный","Треугольник, у которого все углы и стороны равны ")). треугольник(виды_треуг("тупоугольный","Треугольник, один из внутренних углов которого больше 90 градусов ")). треугольник(виды_треуг("прямоугольный","Треугольник, один из внешних углов которого больше 90 градусов ")).
GOAL
треугольник(виды_треуг("равнобедренный",B)).
Результат работы программы
На заданный вопрос показать определение равнобедренного треугольника, будет получен ответ.
Рис.5.
Задание №2
Работа с базой знаний «литература». Программа должна включать следующие сведения о литературе: наименование работы, ее вид (монография, брошюра, статья ...), форма работы (печатная, рукописная, на магнитном носителе ...), сведения об авторах, город издания, издательство, год издания, количество страниц, УДК, количество экземпляров в библиотеке института.
Построю структуру базы знаний «Литература» (рис. 6).
Рис.6. Структура базы знаний «Литература»
Код программы
DOMAINS
книга =кнг(наименование_работы, вид, форма_работы)
прочее =проч(автор, город_издания, издательство)
цифры =цифры(год_издания, количество_страниц, УДК, количество_экземпляров)
наименование_работы, вид, форма_работы = string
автор, город_издания, издательство = string
год_издания, количество_страниц, УДК, количество_экземпляров =integer
PREDICATES
multi литература (книга, прочее, цифры)
CLAUSES
литература(кнг("Орфографический словарь","книга","печатная"),
проч("Г.Н. Лебедев","Москва","Уч.-изд"),
цифры(1973,205,105,5)).
литература(кнг("Самоучитель работы на компьютере","книга","печатная"),
проч("А.Ю.Гаевский","Можайск","Технолоджи-3000"),
цифры(2003,355,106,10)).
GOAL
литература(X,_,цифры(2003,_,_,_)).
Результат работы программы
К базе знаний «Литература» задаю цель вывести книгу, дата издания которой 2003 год.
Рис.7.
Вывод: в процессе выполнения лабораторной работы я познакомилась со структурными объектами, научилась представлять их на Прологе, изображать их в виде деревьев.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.