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

Question

Вопрос гласит: true, если список содержит ровно один элемент без использования функций размера длины.Поэтому хвост должен быть пустым, как мне обойти это?

Examples:
?- [1, 2, 3, 8]  
 false
?- [8]
 true

Answer 1

Эта функция будет проверять наличие хвоста в списке без использования каких-либо встроенных функций.

oe([_|T],R):-
T =[],
R = true.

выполнение функции