%%% NLP in NAL example, Step 1 %%% :- [library(nars/nars)]. % Given sentence 1 represent(['cat'], cat, [1, 0.9]). represent(['fish'], fish, [1, 0.9]). % Given sentence 2 % Given sentence 3 represent(['cat', 'eat', 'fish'], inheritance(product([cat, fish]), food), [1, 0.9]). % Supplementary induction rules represent([rpb(X), Wr, Wo], inheritance(product([X, Co]), Cr), V) :- represent([Ws], Cs, V1), represent([Ws, Wr, Wo], inheritance(product([Cs, Co]), Cr), V2), narz_f_ind(V1, V2, V). represent([Ws, Wr, rpb(X)], inheritance(product([Cs, X]), Cr), V) :- represent([Wo], Co, V1), represent([Ws, Wr, Wo], inheritance(product([Cs, Co]), Cr), V2), narz_f_ind(V1, V2, V). % To show the results, type "represent(X, Y, V)." :- printAll(represent(X, Y, V)).