/* 識別10種植物 */
/*波斯菊、梧桐、仙人掌、玫瑰、松樹、蘆薈、蘋果、桃樹、番茄、豌豆*/
database
    xpositive(symbol,symbol)
    xnegative(symbol,symbol)

predicates
    run
    plent_is(symbol)
    it_is(symbol)
    positive(symbol,symbol)
    negative(symbol,symbol)
    clear_facts
    remember(symbol,symbol,symbol)
    ask(symbol,symbol)

goal
    run.

clauses
    run:-
        plent_is(X),!,
        write("\nYour plant may be a(n) ",X),
        nl,nl,clear_facts.

    run:-
        write("\nUnable to determine what"),
        write(" your plant is. \n\n"),clear_facts.

    positive(X,Y) if xpositive(X,Y),!.
    positive(X,Y) if not(negative(X,Y)),! and ask(X,Y).
    negative(X,Y) if xnegative(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(_).

    plent_is(calliopsis) if
        it_is(herbage) and
        it_is(annual) and
        not(it_is(food))and
        positive(has,nice_flower),!.
               
    plent_is(chinar) if
        it_is(wood) and   
        positive(had,big_body)and
        not(positive(has,lanceolar_leaf)),!.

    plent_is(rose) if      
         not(it_is(annual)) and
         positive(has,sting)and
         positive(does,defoliate)and   
         positive(has,nice_flower),!.

    plent_is(cacti) if
        it_is(herbage)and
        it_is(food)and
        not(it_is(annual)) and
        positive(has,lanceolar_leaf),!.

    plent_is(apple) if
        it_is(wood) and
        it_is(food)and
        not(it_is(annual)) and
        not(positive(has,nice_flower))and
        positive(does,defoliate),!.
        
    plent_is(peach) if
        it_is(wood) and
        it_is(food)and
        positive(has,nice_flower)and
        positive(does,defoliate),!.

    plent_is(aloe) if
        it_is(herbage) and
        it_is(food)and
        not(it_is(annual)) and
        positive(has,succulent_lesf),!.

    plent_is(tomato) if
        it_is(herbage) and
        it_is(food)and
        it_is(annual)and
        not(positive(has,nice_flower)),!.        
        
    plent_is(pea) if
        it_is(herbage) and
        it_is(food)and
        it_is(annual)and
        positive(has,nice_flower),!.
  
   plent_is(pinee) if
        it_is(wood) and
        
        positive(had,big_body)and
        positive(has,lanceolar_leaf),!.
        /*not(positive(has,nice_flower))and
        not(positive(does,defoliate)) it_is(food)and*/
        
    it_is(herbage) if
        not(positive(is,wood)),!.
        
    it_is(annual) if
       it_is(herbage) and
        positive(is,annual),!.

    it_is(wood) if
        positive(is,wood),!.
    
    it_is(food) if
        positive(is,food),!.