Question

我正在尝试将简单的Turbo Prolog问题翻译成Visual Prolog 7.1

原始的Turbo Prolog代码如下。

    DOMAINS
            s=string   sl=s*  sll=sl*

    PREDICATES
            select(sl,s,sl)
            solve(sll)

    CLAUSES

            select([A|B],A,B).
            select([A|B],C,[A|D]):- select(B,C,D).

            solve([["Anna",A,A],["Kate",Vp,Vt],                ["Natasha",Np,"green"]]):-
                    select(["white","green","blue"],A,ColPl),
                    select(["white","blue"],A,[Vt]), Vt<>"white",
                    select(ColPl,Vp,[Np]), Vp<>"white", Np<>"green".

其结果列表以solve(Out)输出，并为Turbo Prolog控制台提供正确的结果。

当试图将其翻译成Visual Prolog时，我在第33行得到错误c502。

    implement main
        open core

    constants
        className = "main".
        classVersion = "".
    domains
    s=string.
    sl=s*.
    sll=sl*.
    %
    class predicates
    select:(sl,s,sl) nondeterm anyflow.
    solve:(sll) nondeterm anyflow.
    %
    clauses
    %
    select([A|B],A,B).
    select([A|B],C,[A|D]):- select(B,C,D).
    %
    solve([["Anna",A,A],["Kate",Vp,Vt],["Natasha",Np,"green"]]):-
    select(["white","green","blue"],A,ColPl),
    select(["white","blue"],A,[Vt]), Vt<>"white",
    select(ColPl,Vp,[Np]), Vp<>"white", Np<>"green".

    clauses
        classInfo(className, classVersion).

    clauses
        run():-
            console::init(),
            %ERROR AFTER THIS LINE
            stdIO::writef("%", solve(Out)),fail().

    end implement main

    goal
        mainExe::run(main::run).

我从这个错误中得到的是solve(Out)没有给出任何打印内容。我不知道的是如何更改代码以生成要打印的内容。

我是Prolog的初学者，我无法弄清楚如何解决这个问题，谷歌也没有多大帮助，这似乎是一个非常模糊的问题。

谢谢！

Answer 1

我对Visual Prolog不熟悉，但你能不能将违规行重写为：

solve(Out), stdIO::writef("%", Out),fail().

然后再试一次？

请记住谓词不是其他编程语言中的函数;他们没有回报价值。

编辑回答评论：过程谓词应该只完成一次。在这里，main正在调用您的solve函数，我的失败或成功几次。为了确保这一点，您可以尝试将调用包装解析为另一个谓词：

wrap_solve(S) :- solve(S), !.
wrap_solve([]).

调用solve后的剪切应确保只有一个解决方案成功。如果没有解决方案（即，对solve的调用失败），则第二个子句将给出默认值（在这种情况下为空列表）。

在main，您应该拨打wrap_solve而不是solve。

Visual Prolog错误c502：表达式不生成值

1 个答案: