%:- auto_table.

:- export
	value/3,
	parent/3.

value(Frame, Slot, Value) :-
	Query =.. [Frame, Slot, Value],
	call(Query), !.

value(Frame, Slot, Value) :-
	parent(Frame, ParentFrame),
	value(ParentFrame, Slot, Value).

parent(Frame, ParentFrame) :-
	(Query =.. [Frame, a_kind_of, ParentFrame];
	Query =.. [Frame, instance_of, ParentFrame]),
	call(Query).