Мои дипломная, курсовые и контрольные работы можно скачать со страницы "Учёба"

Контрольная работа по предмету Функциональное и логическое программирование

Контрольная разбита на страницы →
→ Пролог: вычисление факториала, члена ряда, скорости схождения
→ Пролог: вычисление степени, члена ряда, скорости схождения
→ Пролог: удаление чётных чисел и замена строчных букв
→ Лисп: вычисление факториала, члена ряда, скорости схождения
→ Лисп: вычисление степени, члена ряда, скорости схождения

Реально пролог использовался для обработки текстов и в этом качестве он имеет некоторые преимущества. Но руководство факультета решило углубить понимание студентами этого языка, и в контрольной были заданы задачи математического плана с обязательным применением рекурсии.

Стоит заметить, что из группы в 28 человек в прологе самостоятельно смогли сделать контрольную работу всего три студента, остальные их списывали или покупали... → Далее → Лисп: вычисление факториала, члена ряда, скорости схождения

Пролог: удаление чётных чисел и замена строчных букв

Написать предикаты на языке Пролог.
Удаление чётных чисел из списка.
Goal: ms ([3,4,5,6,7,8,9],X)
X=[3,5,7,9] 

domains
   li=integer*
predicates
   ch(integer,integer,real)
   ms(li,li)
clauses
   ch(A,B,C):-B=A/2, C=A/2.
   ms([],[]).
   ms([X|L],L1):-
       ch(X,J,H), J=H,
       ms(L,L1).
   ms([Y|L],[Y|L1]):-
       ch(Y,K,Z), K<>Z,
       ms(L,L1).

Dialog

Goal: ms([45,36,88,999,20],X)
 X=[45,999]

.

Написать предикаты на языке Пролог.
Заменить в строке маленькие буквы на большие. 

predicates
   zamena(string,string)
clauses
   zamena(A,B):-upper_lower(B,A).

Dialog

Goal: zamena("Bill Gates",H)
H=BILL GATES
1 Solution

Далее → Лисп: вычисление факториала, члена ряда, скорости схождения