8% yadlr alias
    9user:file_search_path(yadlr, X) :- getenv('LOGICMOO_HOME',MOO),atom_concat(MOO,'/src_modules/yadlr/pl', X).
   10
   11% aleph alias must resolve to the directory where aleph.pl exists.
   12% you can download aleph from http://www.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/aleph.pl
   13user:file_search_path(aleph, X) :- getenv('LOGICMOO_HOME',MOO),atom_concat(MOO,'/src_modules/aleph', X).
   14
   15user:file_search_path(logicmoo, X) :- getenv('LOGICMOO_HOME',MOO),atom_concat(MOO,'/src', X).
   16
   17:- visible(+all), leash(-exit),leash(-fail),leash(-call),leash(-redo).   18
   19dmsg(X):-fmt(';; ~q. ~n',[X]).
   20
   21prolog_engine(swi).
   22
   23db_recorded(X,Y,Z):-recorded(X,Y,Z),dmsg(recorded(X,Y,Z)).
   24db_recorda(X,Y,Z):-recorda(X,Y,Z),dmsg(recorda(X,Y,Z)).
   25db_recordz(X,Y,Z):-recordz(X,Y,Z),dmsg(recordz(X,Y,Z)).
   26
   27
   28%%:- use_module('../../src/logicmoo_util/logicmoo_util_all.pl').
   29assert_if_new(X):-catch(X,_,fail),!.
   30assert_if_new(X):-assertz(X).
   31
   32fmt(X,Y):-'format'(X,Y).
   33fmt(X,Y,Z):-'format'(X,Y,Z).
   34
   35remove_duplicates([], []).
   36remove_duplicates([Elem|L], [Elem|NL]) :- delete(L, Elem, Temp), remove_duplicates(Temp, NL).
   37
   38:- assert_if_new( use_inference_engine(resolution) ).   39:- assert_if_new( use_algebra(alg_lukasiewicz) ).   40:- ensure_loaded('pl/dllearn').   41:- use_module('pl/yadlr').   42%:- use_module('pl/resolution').
   43%:- use_module('pl/prodlr').
   44
   45:- consult(domain).   46
   47/*
   48CURRENTLY SUPPORTED SYNTAX:
   49F :== dlnot(F)
   50F :== dland(F, F)
   51F :== dlor(F, F)
   52F :== dlimplies(F, F)
   53F :== dlequiv(F, F)
   54F :== C(I)
   55C :== PredicateName  
   56I :== InstanceName(s)
   57
   58TODO:
   59F :== all(X, F)
   60F :== exists(X, F)
   61F :==  atmost(X, N, F)
   62F :== atleast(X, N, F)
   63F :== box F
   64F :== dia F
   65F :== cir F
   66F :== until(F, F)
   67
   68X :== VariableName
   69N :== Integer
   70*/
   71
   72:-consult('abstract-shoiq.pl').   73% :-consult('abstract-alc.pl').
   74% :-consult('simple-alc.pl').
   75
   76askres( KB, Query):- prove( KB, Query, _FuzzyDegree, _Open, _Restr ).
   77
   78:-preparation.