Есть программа на прологе:
DOMAINS
имя = валентин; леонид; валерий; андрей; михаил
факультет = физический; исторический; биологический; географический
инструмент = саксофон; пианино; контрабас; ударные
студент = студент(имя, инструмент, факультет)
PREDICATES
nondeterm студент(имя, инструмент, факультет)
CLAUSES
студент(михаил, саксофон, _).
студент(_, пианино, физический).
студент(, ударные, ) :- студент(леонид, , ); студент(михаил, , ); студент(валентин, , ); студент(андрей, , ).
студент(, , географический) :- студент(михаил, , ); студент(валентин, , ); студент(валерий, , ); студент(андрей, , ).
студент(михаил, , ) :- студент(, , физический); студент(, , географический); студент(, , биологический).
студент(андрей, , ) :- студент(, , физический); студент(, , исторический); студент(, , географический).
студент(андрей, , ) :- студент(, саксофон, ); студент(, контрабас, ); студент(, ударные, ).
студент(валерий, , ) :- студент(, , географический); студент(, , биологический); студент(, , исторический).
студент(, ударные, ) :- студент(, , физический); студент(, , географический); студент(, , биологический).
студент(леонид, , ) :- студент(, саксофон, ); студент(, пианино, ); студент(, ударные, ).
GOAL
студент(валентин, Инструмент, Факультет).
Компилятор выдаёт, что переменные в первой, второй строке после CLAUSES и первая в четвёртой строке not bound.
Система Visual Prolog 5.
Что можно здесь сделать?