1:- if(( ( \+ ((current_prolog_flag(logicmoo_include,Call),Call))) )). 2:- module(mpred_pttp_compile,[]). 3:- endif. 4 5/* 6:-abolish(pttp_prove,6). 7:- abolish(search_cost,3). 8:- abolish(search,6). 9:- abolish(make_wrapper,3). 10:- abolish(add_features,2). 11:- abolish(add_args,13). 12:- abolish(query,0). 13*/ 14 15:- use_module(library(dra/tabling3/swi_toplevel)). 16 17% make_wrapper(_DefinedPreds,[query,0],true) :- !. 18make_wrapper(_DefinedPreds,[P,N],(:-table(P/N))). 19 20add_features(X,X). 21 22pttp_prove(X):-query(X). 23 24 25:- fixup_exports.