变量仅使用一次

Question

我正在使用古老的 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 会将 3 赋给 a，当 a 已经包含值时 a = 5 将检查 a 的值是否为 5或不。

请帮助我为什么程序无法运行？

提前致谢 ：）

Answer 1

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

这意味着在hypothesis/2中，您不是测试Fe、Ra、He等的值，而是测试绑定具有相同名称的局部变量。这也是为什么您会收到变量仅被引用一次的警告，您绑定它们但从不使用它们。请记住它们是局部的，所有变量对于它们出现的子句来说都是局部的。

所有这些都适用于标准prolog，我从未使用过Turbo Prolog。