变量只使用一次

时间:2010-08-18 12:24:28

标签: prolog turbo-prolog

我使用古老的Turbo Prolog,因为它包含在我们的课程中。为什么这个程序不起作用?

domains
    disease, indication = symbol
    Patient = string
    Fe,Ra,He,Ch,Vo,Ru = char
predicates
    hypothesis(Patient,disease)
    symptom(Patient,indication,char)
    response(char)
    go
clauses


    go:-

        write("What is patient's name?"),
        readln(Patient),

        symptom(Patient,fever,Fe),
        symptom(Patient,rash,Ra),   
        symptom(Patient,head_ache,He),  
        symptom(Patient,chills,Ch), 


        symptom(Patient,runny_nose,Ru),
        symptom(Patient,head_ache,He),  
        symptom(Patient,vomit,Vo),


        hypothesis(Patient,Disease),
        write(Patient," probably has ", Disease , "."),nl.

    go:-
        write("Sorry unable to seem to be diagnose disease"),nl.

    symptom(Patient,Fever,Feedback) :-
        Write("Does " , Patient , " have " , Fever , "(y/n) ?"),
        response(Reply),
        Feedback = Reply.


    hypothesis(Patient, chicken_pox) :-

        Fe = Ra = He = Ch = 'y'.

    hypothesis(Patient, caner) :-
        Ru = Ra = He = Vo = 'y'.

    hypothesis(Patient, measles) :-
        Vo = Ra = Ch = Fe = He = 'y'.

    response(Reply):-
        readchar(Reply),
        write(Reply),nl.

我得到的警告变量仅用于包含symtoms的所有行。参数是否通过引用传递调用?当我将Fe传递给symptoms时,应将值复制到Fe,当我在假设中对其进行比较时,它应该相应地起作用。 Turbo Prolog中的=运算符非常奇怪。当它没有绑定到任何变量时,语句a = 3将为a分配3,当已经包含值a = 5时,将检查a的值是否为5。

请帮助我,为什么程序不起作用?

提前致谢:)

1 个答案:

答案 0 :(得分:2)

问题不在于你的symptoms/3谓词,它们会将第三个参数绑定(统一)到response/1给出的内容。问题是这些值永远不会传递到hypothesis/2中的go/0过程中,因此它们永远不会用于尝试生成假设。 Prolog没有全局变量,因此您必须显式传递所有值,但是如果您不小心,可以将数据保存在数据库中,这很容易导致问题。

这意味着在hypothesis/2中,您没有测试FeRaHe等的值,而是绑定本地变量相同的名字。这也是为什么你得到只引用一次的变量的警告,你绑定它们但从不使用它们。记住它们是本地的,所有变量都是它们出现的子句的本地变量。

所有这些都适用于标准序言,我从未使用过Turbo Prolog。