:- module(test_query,[query/1]).
:- ['../../prolog/util/cif_util'].

query(Q) :-
	Zf=[
		generate(os,var(uevar1)),
		generate(size,[os],[var(uevar1)],integer,var(evar4)),
		expression([],[var(evar4)],expr(<,var(evar4),400)),
		generate(name,[os],[var(uevar1)],string,var(evar3))
		],
	cif_util:find_vars(Zf,Wanted),
	Q=query(Wanted,Zf).

/*
query(Q) :-
	Zf=[	generate(pc,var(uevar1)),
		generate(model,[pc],[var(uevar1)],string,var(evar2)),
		expression([],[var(uevar2)],expr(<>,var(uevar2),'p5'))
	],
	cif_util:find_vars(Zf,Wanted),
	Q=query(Wanted,Zf).

*/

