Создан заказ №5463486
23 сентября 2020
Swi prolog написание предикатов
Как заказчик описал требования к работе:
Нужно выполнить следующие задания, код с пояснениями к работе.
1. Напишите программу для отношения double(+List, -ListList), в котором каждый элемент списка List удваивается в списке ListList. Например,
double([1,2,3],[1,1,2,2,3,3]) выполнено.
2. Определите отношение sum_tree(+TreeOfInteger, -Sum)
, выполненное, если число Sum равно сумме целых чисел, являющихся вершинами де-
рева TreeOfInteger.
3. Определим операторы:
:- op( 100, fy, ~).
:- op( 110, xfy, &).
:- op( 120, xfy, v).
Булева формула есть терм, определяемый следующим образом: константы true и false – булевы формулы; если X и Y – булевы формулы,
то и X v Y, X & Y, ~X – булевы формулы, здесь v и & – бинарные инфиксные
операторы дизъюнкции и конъюнкции, а ~ – унарный оператор отрицания.
Напишите предикат p(+T), определяющий, является ли данный терм T булевой формулой.
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
24 сентября 2020
Заказ завершен, заказчик получил финальный файл с работой
![](https://author24shop.ru/assets/img/avatars/size176x176/131/1004163.jpg?1675767010)
5
![скачать](/assets/img/lenta2020/download_icon.png)
Swi prolog написание предикатов.jpg
2020-09-27 01:11
Последний отзыв студента о бирже Автор24
Общая оценка
4
![](/assets/images/emoji/star-eyes.png)
Положительно
Хороший автор, терпиливый, внимательный!) На все просьбы внести изменения отзывалась сразу и делала все достаточно быстро. Спасибо!)