Ошибка "недопустимый тип переменной для этой позиции" в прологе

Question

Я пытаюсь выполнить поиск животного, у которого есть это свойство, но у меня появляется ошибка "Недопустимый тип переменной для этой позиции". Как ее решить?

domains
type=symbol
object=symbol
property=symbol
value=symbol
parent=symbol
predicates
nondeterm is_a(type, parent) 
nondeterm has_prop(object, property, value) 
nondeterm has_property(object, property, value) 
clauses
is_a(dog,wolf).
is_a(dingo,wolf).
is_a(wolf,volki).
is_a(coyote,volki).
is_a(jackal,volki).
is_a(volki,dogs).
is_a(fox,dogs).
is_a(arctic_fox,dogs).

has_prop(dogs, travel, walk). 
has_prop(dogs, food_for_child, milk).  
has_prop(volki, size, medium). 
has_prop(volki, color, brown). 
has_prop(arctic_fox, color, white). 
has_prop(arctic_fox, size, small). 
has_prop(fox, color, orange). 
has_prop(fox, size, small). 
has_prop(wolf, color, grey). 
has_prop(wolf, size, large). 
has_prop(dog, color, brown). 
has_prop(dog, size, small). 
has_prop(dingo, color, orange). 
has_prop(dingo, size, medium). 



has_property(Object, Property, Value):-
has_prop(Object, Property, Value). 
has_property(Object, Property, Value):-
is_a(Object,Parent), 
has_property(Parent, Property, Value).

goal
has_property(X,size,medium).

У меня есть ошибка "недопустимый тип переменной для этой позиции" в этой строке:

is_a(Object,Parent), 

Answer 1

Проблема была в типах и переменных. Я удаляю домены и работаю с простыми типами.

Правильный код:

predicates
nondeterm is_a(symbol, symbol) 
nondeterm has_prop(symbol, symbol, symbol) 
nondeterm has_property(symbol, symbol, symbol) 
clauses
is_a(dog,wolf).
is_a(dingo,wolf).
is_a(wolf,volki).
is_a(coyote,volki).
is_a(jackal,volki).
is_a(volki,dogs).
is_a(fox,dogs).
is_a(arctic_fox,dogs).

has_prop(dogs, travel, walk). 
has_prop(dogs, food_for_child, milk).  
has_prop(volki, size, medium). 
has_prop(volki, color, brown). 
has_prop(arctic_fox, color, white). 
has_prop(arctic_fox, size, small). 
has_prop(fox, color, orange). 
has_prop(fox, size, small). 
has_prop(wolf, color, grey). 
has_prop(wolf, size, large). 
has_prop(dog, color, brown). 
has_prop(dog, size, small). 
has_prop(dingo, color, orange). 
has_prop(dingo, size, medium). 


has_property(O, Property, Value):-
has_prop(O, Property, Value). 
has_property(O, Property, Value):-
is_a(O,Parent), 
has_property(Parent, Property, Value).

goal
has_property(X,size,medium).

Answer 2

Извините, у меня нет Visual Prolog, доступного для тестирования, поэтому я не совсем уверен насчет решения, но я думаю, что проблема заключается в том, что вы должны дать понять, что domains а также predicates элементы являются наземными терминами. Поэтому я предлагаю либо сделать их строчными, либо заключить их в дефис, иначе они являются переменными:

domains
 type=symbol
 object=symbol
...

predicates
 is_a(type, parent) 
...

или же

domains
 'Type'=symbol
 'Object'=symbol
...

predicates
 is_a('Type', 'Parent') 
...

редактировать

Если у вас есть SWI-Prolog, просто закомментируйте от начала файла domains включен. Или посмотрите этот блокнот на SWISH.