Мне нужно преобразовать вложенный список в соответствующие термины в прологе. Вот как выглядит успешный запрос, указанный в задаче:
cons([a,[b,[c]]],X). /*query returns X=next(a, next(next(b, next(next(c, null),null)), null))*/