Справочник функций

Ваш аккаунт

Войти через: 
Забыли пароль?
Регистрация
Информацию о новых материалах можно получать и без регистрации:

Почтовая рассылка

Подписчиков: -1
Последний выпуск: 19.06.2015

SWI Prolog.

88K
06 мая 2015 года
BERLI
2 / / 06.05.2015
Ребята, помогите, пожалуйста, нужно решить 2 задачи в SWI Prolog с пояснениемъ

1. Не могли бы вы помочь в решении такой задачи: требуется определить предикат num_even (L,N), с помощью которого можно найти количество N четных числе в списке L.
Примерное решение, которое в SWI не рабботает.

class predicates
num_even:(E*,unsigned [out]).
clauses
num_even([X|L],N) :- X mod 2 = 0, !,num_even (L,M), N = M+1.
num_even([_|L],N) :- !,num_even([X|L],N).
num_even(_,0).

2. помощь в определении предиката subset(S1,S2), который будет работать, когда множество S1 является подмножеством S2. Использую Visual Prolog.

memb(_,[]) :- fail.
memb(H,[H|_]) :- !.
memb(H,[_|T]) :- memb(H,T).

subset([],_).
subset([H|T],Z) :- memb(H,Z), subset(T,Z).
Тоже выдаёт ошибку.

Помогите, плз.
Реклама на сайте | Обмен ссылками | Ссылки | Экспорт (RSS) | Контакты
Добавить статью | Добавить исходник | Добавить хостинг-провайдера | Добавить сайт в каталог