Использование неземных фактов в Prolog?

Question

В Прологе вы можете написать наземный факт как:

lost(jen). 

Вы также можете написать нешлифованный факт как:

lost(X). 

это делает ли какой-то смысл? Не могли бы вы показать мне практический/реальный пример, где используются неземные факты?

Спасибо,

Answer 1

Другой случай, избегая списков, заключается в том, что большинство случаев являются «истинными», и вы просто хотите исключить несколько случаев, которые являются ложными. Таким образом, вы намеренно отказываетесь от дел, а затем пропускаете все остальное.

Тогда вы можете сделать, скажем ...

inhabited(antarctica) :- !, fail. 

% all the other continents are inhabited 
inhabited(_). 

Answer 2

Ну, вы можете иметь другие вещи в фактах, кроме атомов, например, вы можете иметь списки. После того, как вы сделали это, вы можете захотеть узнать о списке на один элемент, и вы можете иметь

oneelement([X]). 

Кроме того, что вы хотите, чтобы сравнить то, что это последний элемент в списке

lastelement([X],X). 
lastelement([_|Remainder],X) :- lastelement(Remainder,X). 

очень полезно member предиката определяются как

member([X|_],X). 
member([_|Remainder],X) :- member(Remainder,X). 

Каждые из них использует нешлифованный факт в качестве базового случая, путь сопоставления специальной формы, который более конкретно, чем просто lost(X)