
Среда программирования: SWI-Prolog
Название работы: ЛР2. Вариант 5. Две задачи на Prolog. Функциональное и логическое программирование
Вид работы: Лабораторная работа
Тематика работы: Алгоритмы, Математика
Объем программы: 5 (по десятибалльной шкале)
Уровень сложности: 5 (по десятибалльной шкале)
Разработчик (автор):
Программист сайта kursovik.com
(письмо автору)
Данная работа написана ЧЕЛОВЕКОМ без использования ИИ
Ключевые слова: ТУСУР, ФДО, Функциональное программирование, логическое программирование, задачи на Prolog, swi-Prolog, отношение sum_tree, TreeOfInteger, число Sum, равно сумме целых чисел, вершинами дерева, Булева формула, булевы формулы, бинарные инфиксные операторы, дизъюнкции, конъюнкции, унарный оператор отрицания, Напишите предикат, предикат, данный терм, булевой формулой
Функции программы:
Лабораторная работа 2.
Вариант 5. Две задачи на Prolog.
Разработать две программы на Prolog в соответствии с заданиями:
1. Определите отношение sum_tree(+TreeOfInteger, -Sum), выполненное, если число Sum равно сумме целых чисел, являющихся вершинами дерева TreeOfInteger.
2. Определим операторы:
:- op( 100, fy, ~). :- op( 110, xfy, &).
:- op( 120, xfy, v).
Булева формула есть терм, определяемый следующим образом: константы true и false - булевы формулы; если X и Y - булевы формулы, то и X v Y, X & Y, ~X - булевы формулы, здесь v и & - бинарные инфиксные операторы дизъюнкции и конъюнкции, а ~ - унарный оператор отрицания. Напишите предикат p(+T), определяющий, является ли данный терм T булевой формулой.
Описание (отчет):
Есть
на 3 страниц, посмотреть оглавление
Пояснения к компиляции и запуску программы:
Для работы с программами нужно использовать файл "2.pl" в SWI-Prolog.

2Перед покупкой готовой работы не забудьте проверить её оригинальность. Запросить у администратора проверку текущей оригинальности работы по версии системы Антиплагиат.РУ
Отчет к программе. СодержаниеЗадания, листинги, скриншоты.
Предварительный просмотр
|
Стоимость ИСХОДНОГО ТЕКСТА программы составляет 990 руб РФ Стоимость ОТЧЕТА составляет 0 руб РФ Продажа каждой работы строго учитывается, у каждой работы есть своя история продаж. |