Пролог: Удаление атома во вложенных списках

Question

Я пытаюсь удалить элемент в списке. Мой код работает, но он не удаляет символ во вложенном списке.

Во втором-последнем правиле я пытаюсь проверить, является ли следующий элемент списком. Что я делаю не так?

del(Symbol, [], []) :- 
    !. 
del(Symbol, [Symbol|Tail], Result) :- 
    !, 
    del(Symbol, Tail, Result). 
del(Symbol, [[List]|Tail], Result) :- 
    !, 
    del(Symbol, List, Result2), 
    append([List], Result2, Result). 
del(Symbol, [Other|Tail], Result) :- 
    !, 
    del(Symbol, Tail, Result2), 
    append([Other], Result2, Result). 

Answer 1

когда у вас есть рабочий дель/3 на плоском списке, вы можете продлить его обрабатывать вложенные списки, проверяя тип первого элемента: если это список, рекурсии и сохранить результат.

Чтобы проверить тип, вы можете использовать is_list/1