<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* ******************************************************
	main module of Prototype 3 in Sicstus Prolog
******************************************************** */

install :- 
        fcompile(basic_funs3),
        fcompile(naming3),
        fcompile(tr_basics3),
        fcompile(tr_appl3),
        fcompile(keys_basics3),
        fcompile(keys_appl3),
        fcompile(parser3),
        fcompile(query3),
        fcompile(upload3).


init :- 
	load(basic_funs3),
	load(naming3),
	load(tr_basics3),
	load(tr_appl3),
	load(keys_basics3),
	load(keys_appl3),
	load(parser3),
	load(query3),
	load(upload3),
	initparser,
	initkey, init_keyappl,
	dynpred(tracking), dynpred(tr),
	dynpred(track([])).


/* ***************************************************************** 
	Insert clause to transaction base
 ***************************************************************** */

instrans('&lt;-'(Lhs,Rhs)) :-
	parse_body(Rhs,Passed,da),
	assert((Lhs :- (tr, Passed))).


instrans( Pred ) :-
	not(Pred = '&lt;-'(_,_)),
	assert((Pred :- tr)).


</pre></body></html>