% Demonstrate how to use 'spec' state facts
:-solve(parent(mother,A,B)).

parent(F,X,Y) :-
	spec(F(X,Y)).

spec(father(abraham,isaac)).
spec(mother(sarah,isaac)).

:- eval(test022()).

% Print the current mental state
test022() :-
	println(["==========test022=========="]),
	spec(F(X|Xs)),
	print(["state=",F,"("]),
	print([X|Xs],","),
	println([")"]).
