Ребята, добрый вечер всем. Извините что беспокою, но у меня висит задача одна, которая является ключем к получению зачета, а у меня ее никак не получается написать. Вот суть задачи:

Имеются 2 упорядоченных по возрастанию списка, один из которых является подсписком другого (например, [1,2,3,4,5,6,7] и [2,5,6]). Написать предикат, который удаляет из первого списка элементы второго)

Помогите пожалуйста...

Халявный у вас какой-то зачет... 

Держите:

Фантом, да нет, не всё так просто. Мне кажется, неспроста список именно по возрастанию. И вообще, его, наверное, нужно в диалоговом окне вводить?

Естественно, иначе предложенный вариант бы не работал.


Надо - введите.   

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

Тогда о каком зачете может быть речь?


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

Фантом, омг, а вы, наверное, все зачёты прям честно сдавали, и ни одной шпоры на экзаменах не использовали?
вот о таком зачёте, желанном мною очень.
а версия 5.2, я так думаю.

Ясно. Язык совершенно не знаем, разницы между компилятором и языком не видим... стало быть, зачет явно будет лишним.

Фантом, ну Вы тиран просто. Не повезло же Вашей девушке.   

Правило minus Фантома правильное (хотя, какое-то жосткое, ИМХО), если используете VIP 5.2 - надо добавить разделы domains, predicates, clauses, goal.
Я думаю что если есть желание - разберетесь.  Поищите в гугле "обработка списков пролог" щелкните по одной из первых ссылок и прочитайте, или примеры посмотрите, понять можно.


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

тут предикат member использует упорядоченность списка, в нем можно убрать условие "HH < E", тогда будет работать и для неупорядоченных списков )

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