% A default reasoning program
% as an input file for smodels.
% Command line: 'lparse < default1.txt | smodels 0'.


interesting(X):-  article(X), about_ai(X), default(1,X).

non_interesting(X):- article(X), not interesting(X).

about_ai(X):- article(X), about_fl(X).
about_ai(X):- article(X), about_ml(X).

:- article(X), about_fl(X), default(2,X), interesting(X).
:- article(X), intro_question(X), default(3,X), interesting(X).

:- article(X), about_fl(X),default(1,X).

default(1,X):- article(X), int_ai(X).
default(2,X):- article(X), unint_fl(X).
default(3,X):- article(X), unint_iq(X).

int_ai(X):- article(X), about_ai(X), not unint_ai(X).
unint_ai(X):- article(X), about_ai(X), not int_ai(X).

unint_fl(X):- article(X), about_fl(X), not int_fl(X).
int_fl(X):- article(X), about_fl(X), not unint_fl(X).

unint_iq(X):- article(X), intro_question(X), not int_iq(X).
int_iq(X):- article(X), intro_question(X), not unint_iq(X).

% about_ai(article_23).
about_fl(article_77).
% about_ml(article_34).
%about_ml(article_99).
%intro_question(article_99).

%article(article_23).
article(article_77).
%article(article_34).
%article(article_99).
%article(article_99).



hide article(X).
hide default(X,Y).