Функциональное и логическое программирование. КР2. Вариант 12. ЛР2 Вариант 5.

Среда программирования: SWI-Prolog

Название работы: Функциональное и логическое программирование. КР2. Вариант 12. ЛР2 Вариант 5.

Вид работы: Контрольная работа

Описание: По дисциплине «Функциональное и логическое программирование» в течение семестра предусмотрено выполнение следующих контрольных мероприятий:

Текстовая контрольная работа № 2 «Разработка программы для написания простых предикатов с использованием языка Пролог».
Задание.
1. Напишите предикат gcd(+A,+B,-D), истинный тогда и только тогда, когда D – наибольший общий делитель двух целых положительных чисел A и B.
2. Напишите программу для отношения double(+List, -ListList), в ко-тором каждый элемент списка List удваивается в списке ListList. Например, double([1,2,3],[1,1,2,2,3,2]) выполнено.
Заключение. В ходе выполнения контрольной работы было освоено написание простых предикатов с использованием языка Пролог.

Лабораторная работа:
Текстовая лабораторная работа № 2 «Разработка программ с использованием языка Пролог».
Задание.
Блок I
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 булевой формулой.
Блок II
1. Напишите предикат p(+S, -L), который переводит предложение S, представленное строкой, в список атомов L. Например, p('gfrtyre hjnki <> pi 876 h', [ gfrtyre, hjnki, '<>', pi, 876,h]) выполнено. Указание: воспользуйтесь предикатом name/2.
2. Множественное число большинства английских существительных получается путем добавления буквы -s к форме единственного числа. Но если существительное заканчивается буквой -y, следующей за согласной, множественное число образуется путем замены буквы -y на сочетание -ies; если же существительное заканчивается буквой -o, следующей за согласной, множественное число образуется путем добавления сочетания -es. Напишите утверждения для предиката множественное_число/2, которые задают все эти правила. Указание: воспользуйтесь предикатом name/2.
Заключение. В ходе выполнения лабораторной работы было освоено построение простых и более сложных программ с помощью языка Пролог.

Год: 2023

Данный заказ (контрольная работа) выполнялся нашим сайтом в 2023-м году, в рамках этого заказа была разработана программа в среде программирования SWI-Prolog. Если у Вас похожее задание на программу, которую нужно написать на SWI-Prolog, либо на другом языке программирования, пожалуйста заполните форму, приведённую ниже, после чего Ваше задание в первую очередь рассмотрит наш программист, выполнявший в 2023-м году этот заказ, если он откажется, то Ваше задание оценят другие наши программисты в течение 48-и часов, если оценка нужна срочно, просим Вас оставить пометку об этом - напишите в тексте задания фразу "СРОЧНЫЙ ЗАКАЗ".

Viber: +79374242235 Telegram: kursovikcom ВКонтакте: kursovikcom WhatsApp +79374242235 E-mail: info@kursovik.com Skype: kursovik.com