9user:file_search_path(yadlr, X) :- getenv('LOGICMOO_HOME',MOO),atom_concat(MOO,'/src_modules/yadlr/pl', X).
10
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
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'). 44
45:- consult(domain). 46
71
72:-consult('abstract-shoiq.pl'). 75
76askres( KB, Query):- prove( KB, Query, _FuzzyDegree, _Open, _Restr ).
77
78:-preparation.