:- ensure_loaded(qtest_header).
:- ensure_loaded(qtest).
:- ensure_loaded(vrdf_simple).    % use_module ?

go :-
	run_qtests.

:- term_slots(dog(uri, owner), pet:'Owner').

dog(taiko, sandro),

qtest :-
	vrdf(dog(taiko, sandro), owner, Owner),
	Owner = sandro.


	

