paper.txt

来自「报纸分类项目小型专家系统 分类项目小型专家系统设计与实现」· 文本 代码 · 共 107 行

/*     A paper Classifying Expert System      */
    database
        xpositive(symbol,symbol)
        xnegative(symbol,symbol)
    predicates
        run
        paper_is(symbol)
        it_is(symbol)
        positive(symbol, symbol)
        negative(symbol, symbol)
        clear_facts
        remember(symbol, symbol, symbol)
        ask(symbol, symbol)
goal
        run.
    clauses
        run:-
           paper_is(X),!, 
           write("\nYour paper may be a(n) ", X), 
           nl, nl, clear_facts.
        run:-
           write("\nUnable to determine what"), 
           write("your paper is. \n\n"), clear_facts.
        positive(X, Y):-xpositive(X, Y),!.
        positive(X, Y):-not(xnegative(X, Y)), ask(X, Y).
        negative(X, Y):-xnegative(X,Y), !.
        negative(X, Y):-not(xpositive(X, Y)), ask(X, Y).
        ask(X, Y):-
           write(X, " it ", Y, "\n"), 
           readln(Reply), 
           remember(X, Y, Reply).
        remember(X, Y, y):-asserta(xpositive(X, Y)).
        remember(X, Y, n):-asserta(xnegative(X, Y)), fail.
        clear_facts:-retract(xpositive(_, _)), fail.
        clear_facts:-retract(xnegative(_, _)), fail.
        clear_facts:-write("\n\nPlease press the space bar to Exit"), 
                     readchar(_).

/*               Knowledge Base           */
     paper_is(pathology):-
         it_is(professional_newspapers
),
         positive(has, monthly),
         positive(does, medicine
).
     paper_is(ship_monthly
):-
         it_is(professional_newspapers
),
         positive(has, sea
),
         positive(has, monthly
),
         positive(does, communication
).
     paper_is(automotive_monthly
):-
         it_is(professional_newspapers
),
         positive(has, monthly),
         positive(does, communication
). 
     paper_is(washington_post):- 
         it_is(foreignlanguage_newspapers
),
         positive(does, political
).
     paper_is(chinas_economy
):- 
         positive(does, local
),
         positive(does, economic
),
  	 positive(does, daily
). 
     paper_is(boao_forum
):-
         positive(does, economic),
         positive(has, yearly
),
  		 positive(is, conference_record
). 
paper_is(global_times
):- 
         positive(does, political
),
         positive(does, economic
),
         positive(does, military
). 
paper_is(na_physics
):-
         it_is(foreignlanguage_newspapers
),
         positive(has, pros
).
  	
it_is(foreignlanguage_newspapers
):-
         positive(is,chinese).
     it_is(china_newspaper
):-
         positive(is,foreigner).
    it_is(professional_newspapers
):-
         positive(has,pros).