Напишите нам
Написать письмо
Функциональное и логическое программирование
Лабораторная работа
в среде программирования XLisp и SWI-Prolog
Если Вы считаете, что данная страница каким-либо образом нарушает Ваши авторские права,
то Вам следует обратиться в администрацию нашего сайта по адресу
info@kursovik.com либо через
форму обратной связи
Среда программирования: XLisp и SWI-Prolog
Название работы: Функциональное и логическое программирование
Вид работы: Лабораторная работа
Описание: 2 работы на XLisp и 2 на SWI-Prolog.
1) Контрольная работа 1. Вариант 4
2) Контрольная работа 2. Вариант 5
3) Лабораторная работа 1. Вариант 10
4) Лабораторная работа 2. Вариант 5
Задача 1
Напишите предикат all(+P, +L), который проверяет "Для всех ли элементов списка L выполняется предикат P?"
Задача 2
Напишите предикат filter(+V, +P, -L) - истинный тогда и только тогда, когда список L есть список всех элементов из списка V, удовлетворяющих предикату P ("фильтрация" списка).
Задача 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 булевой формулой.
Год: 2019
Данный заказ (лабораторная работа) выполнялся нашим сайтом в 2019-м году, в рамках этого заказа была разработана программа в среде программирования XLisp и SWI-Prolog. Если у Вас похожее задание на программу, которую нужно написать на XLisp и SWI-Prolog, либо на другом языке программирования, пожалуйста заполните форму, приведённую ниже, после чего Ваше задание в первую очередь рассмотрит наш программист, выполнявший в 2019-м году этот заказ, если он откажется, то Ваше задание оценят другие наши программисты в течение 48-и часов, если оценка нужна срочно, просим Вас оставить пометку об этом - напишите в тексте задания фразу "СРОЧНЫЙ ЗАКАЗ".
Viber: 
+79374242235
Telegram: 
kursovikcom
ВКонтакте: 
kursovikcom
+79374242235
E-mail: 
info@kursovik.com
Skype: 
kursovik.com
|
