PREDICATES
праздник(symbol,integer,integer)
др(symbol,integer,integer)
 
CLAUSES
др(май,24,1996).
праздник(Месяц,Число,Год):-др(Месяц,Число,Год).
 
GOAL
праздник(май,двадцать_четыре,1996).

то будет естественно ошибка, так как типы не совпадают. Преподаватель мне сказал, что можно как-то это ограничение обойти и чтобы в итоге сопоставление произошло. Может кто-нибудь знает как этого добиться ?

Заказать работу у эксперта

Programming

Эксперт

94731 / 64177 / 26122

Регистрация: 12.04.2006

Сообщений: 116,782

21.09.2017, 17:59

Ответы с готовыми решениями:

Строение атома и электронное излучение. О строении атома и электронном излуче
Строение атома и электронное излучение. О строении атома и электронном излучении говорят и пишут...

За наименьшее число нажатий клавиш калькулятора добиться отображения заданного числа
Задача 227 с архива из acmp. У калькулятора есть две ячейки памяти: содержимое первой из них...

Сбой сопоставления пути
Здравствуйте. Реализовывала wcf службу из данного примера http://habrahabr.ru/post/115157/, служба...

Сопоставления с образцом LISP
Определить результаты сопоставления: 1) образца (? ? K ?) и образа (F A C T); 2) образца (+ C T)...

	21.09.2017, 17:59

IT_Exp

Эксперт

87844 / 49110 / 22898

Регистрация: 17.06.2006

Сообщений: 92,604

21.09.2017, 17:59

Помогаю со студенческими работами здесь

Ошибка сопоставления программы
привет всем.У меня поблема.При чистке реестра что то не то сделал в итоге все встроенные файлы...

Сопоставления (унификации) списков
Какое значение получит X в результате операции сопоставления (унификации) списков и в Прологе?

Функция сопоставления символьных выражений [2]
Помогите исправить небрежно написанный код функции на рабочий. Вот так она выглядит в исходном...

написать функцию сопоставления с образцом
На языке Лисп написать функцию сопоставления с образцом, используя следующие символы-заменители: ...

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

Наверх