变量未声明

Question

我的功能可以从列表中获取第一个项目，并检查该项目是否是几个项目之一，可以相应地执行一些功能，并在列表上的下一个项目上递归执行。

我的麻烦是，在第6行中，变量不再定义为列表的第一项，我很难弄清楚原因。

我刚开始与KBSS合作，如果我的语言不正确，请原谅我。

1 f(L) :- 
2     [F|Ls] = L,
3     (
4        (F = value1 -> ...);
5        (F = value2 -> ...)
6    ) -> f(Ls); format('~w is not a valid action', [F]).

Answer 1

编译代码后，询问以下查询：

?- listing(f).

f(L) :-
    (   L=[F|Ls],                              % <== unification IS PART OF the condition!
        (   F=value1
        ->  ...
        ;   F=value2
        ->  ...
        )
    ->  f(Ls)
    ;   format('~w is not a valid action', [F]) % <== when condition fails, unification is UNDONE
    ).

如您所见，统一是条件的一部分。因此，当条件失败时，统一为 undone ，转动f a 单变量。

要解决问题，请按以下方式格式化代码：

f(L) :-
     [F|Ls] = L,                  % <== Now, unification IS NOT PART OF the condition!
     (   (   (F = value1 -> ...)
         ;   (F = value2 -> ...) )
     ->  f(Ls)
     ;   format('~w is not a valid action', [F]) ).

Answer 2

- ＆gt;/2用法的示例：

do_something_with_first_elem([Head|_]) :-
    do_something_with_elem(Head).
    
do_something_with_elem(Elem) :-
    ( Elem = a -> writeln('Head is a')
    ; Elem = b -> writeln('Head is b')
    ; Elem = 3 -> writeln('Head is 3 (a number)')
    ; format('~w is not a valid action', [Elem])
    ).

结果：swi -promog：

?- do_something_with_first_elem([b, c, d]).
Head is b
true.

?- do_something_with_first_elem([z, c, d]).
z is not a valid action
true.