Предикат p(U, V, L) - истинный, когда список L есть список из элементов списка U без элементов списка V (Visual Prolog)

@whxz0r · Регистрация: 28.04.2017

Здравствуйте, помогите разобраться с моей реализацией
Видел уже решение данной задачи другим способом, но очень интересно понять почему мой код не работает

Prolog

domains
 list = integer*
predicates
 p(list u, list v, list l)
 t(integer ot_u, list v)
clauses
 t(_, []):- !.
 t(X, [X|_]):- !, fail. 
 t(X,[_|T]):- t(X,T). % истина если X нет в списке
 
 p([],[],[]):- !.
 p(X, [], X):- !.
 p(X, X, []):- !.
 p([H|U], V, [H|L]):- t(H, V), p(U,V,L). % если H нет в списке V, то заносим H в список L
 p([_|U], V, L):- p(U,V,L). % если H есть в списке V, то идём дальше по списку U
 
goal
 p([1,2,3,4,5,6,7,8],[2,4,6,8],R). % по идее, должен выводить R=[1,3,5,7], но почему-то выводит No Solution

Заранее благодарен за помощь

@Black Fregat · 07.01.2019, 08:31

Сообщение от whxz0r

очень интересно понять почему мой код не работает

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

PS. Кнопочка с жуком на панели инструментов - это запуск отладчика. Неплохой отладчик, сразу увидели бы всё сами..

@Black Fregat Фрилансер 3703 / 2075 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	07.01.2019, 08:31	2
	Сообщение было отмечено whxz0r как решение Решение Сообщение от whxz0r очень интересно понять почему мой код не работает Потому что выход из рекурсии должен происходить в ситуации, когда первый список пустой, а второй - нет. Ни одно из Ваших правил выхода эту ситуацию не обрабатывает. PS. Кнопочка с жуком на панели инструментов - это запуск отладчика. Неплохой отладчик, сразу увидели бы всё сами.. 1

Опции темы

Предикат p(U, V, L) - истинный, когда список L есть список из элементов списка U без элементов списка V (Visual Prolog)

Решение