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.