/* **********************************************************
	module for basic transaction functions
*********************************************************** */

% create a list of N unique and uninstantiated args
%
createpreds(0,[]).
createpreds(N,[_|L]) :-
	N>0, M is N-1, createpreds(M,L).

% change the functor of Pred to Name and return the new predicate as NewPred
%
changefunctor(Pred,Name,NewPred) :-
	Pred =.. [_|Args],
	NewPred =.. [Name|Args].

dbase(Pred) :-
	deleting(tr),
	call(Pred),
	inserting(tr).

