Пролог Возвращает True, если нет необработанных переменных

Question

Мне нужна помощь в написании предикатного основания (Term), которое возвращает true, если в Term нет необоснованных переменных.

Я знаю, что мне нужно использовать встроенные предикаты functor, arg и '= ..', но я думаю, что мне нужна помощь только для начала ...

Моя идея заключается в том, что мне нужно перейти к термину (термин может быть списком из нескольких переменных). Проверьте голову, затем рекурсивно посмотрите на остальную часть списка и проверьте, не является ли остальная часть списка необоснованной.

Но моя проблема в том ... Как проверить, не является ли она необоснованной?

Answer 1

Вы можете использовать предикат var/1, чтобы проверить, является ли термин неустановленной переменной.

?- var(X).
true.

?- var(x).
false.

?- var((X,Y)).
false.

?- var(t(Y,Z)).
false.