Лабораторная работа №5 Вариант 8
.doc
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
ЛИПЕЦКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
КАФЕДРА АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ
Лабораторная работа №5
по дисциплине
«Рекурсивно-логическое программирование»
|
Студент |
|
|
|
Ельшаева Н.А. |
|
||||||||
|
|
|
подпись, дата |
|
фамилия, инициалы |
|
||||||||
|
Группа |
|
АС-09 |
|
|
|
|
|||||||
|
|
|
|
|
|
|
||||||||
|
Принял |
|
|
|
|
|
||||||||
|
|
|
|
|
Гаев Л.В. |
|
||||||||
|
ученая степень, звание |
|
подпись, дата |
|
фамилия, инициалы |
|
Липецк 2010
Вариант 8: Определить операторы «ravno» и «==>» и реализовать отношение: L ravno X ==> Y (),
где Х, Y – аргументы функции, принимающие значения: истина (1) или ложь (0), L – булева функция, соответствующая операции импликации.
Текст программы
:-op(500, xfy, ravno).
:-op(400, xfx, ==>).
L ravno X ==> Y :- X is 0, Y is 0, L is 1;
X is 0, Y is 1, L is 1;
X is 1, Y is 0, L is 0;
X is 1, Y is 1, L is 1.
Контрольный пример:
Выводы
В ходе проделанной лабораторной работы я получила базовые навыки работы с отношениями.