实验三.pro

一个Prolog编写的程序,实现简单的小型医院系统

database
    xpositive(symbol,symbol)
    xnegative(symbol,symbol)
predicates
    run
    ill_is(symbol)
    it_is(symbol)
    positive(symbol,symbol)
    negative(symbol,symbol)
    clear_facts
    remember(symbol,symbol,symbol)
    ask(symbol,symbol)
goal
    run.
clauses
    run:-
        ill_is(X),!,
        write("\nYour ill may be a(n)",X),nl,nl,clear_facts.
    run:-
        write("\Unbale to determine what"),
        write("your ill 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(xnegative(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(_).
    ill_is(catch_cold):-
        it_is(chirurgery),
        it_is(small_ill),
        positive(has,chogh),
        positive(has,snivel).
    ill_is(jiakang):-
        it_is(chirurgery),
        it_is(small_ill),
        positive(has,ache),
        positive(has,big_nect).
    ill_is(aizi):-
        it_is(incurable_disease),
        positive(has,ache),
        positive(has,fag),
        positive(has,haematoma).
    ill_is(yigan):-
        it_is(incurable_disease),
        positive(has,chogh).
    ill_is(tuberculosis):-
        it_is(medicine),
        negative(does,keratitis),
        positive(has,complexion_pallor),
        positive(has,body_become),
        positive(has,chogh).
    ill_is(lyssa):-
        it_is(medicine),
        negative(does,keratitis),
        positive(does,fever),
        positive(has,chogh).
    ill_is(tracheitis):-
        it_is(medicine),
        positive(does,chogh_well).
    it_is(chirurgery):-
        positive(has,tengtong).
    it_is(chirurgery):-
        positive(does,small_ill).
    it_is(medicine):-
        positive(has,fag).
    it_is(medicine):-
        positive(does,keratitis),
        positive(does,collywobbles).
    it_is(small_ill):-
        positive(does,famine).
    it_is(small_ill):-
        positive(has,fag),
        positive(has,complexion_pallor),
        positive(has,body_become).
    it_is(incurable_disease):-
        it_is(chirurgery),
        positive(has,thinking_bastacle).
    it_is(incurable_disease):-
        it_is(chirurgery),
        positive(does,bled).