Prolog“切换”语句答案

【问题标题】：Prolog "switch" statementProlog“切换”语句
【发布时间】：2021-07-19 16:51:05
【问题描述】：

如何实现一个 switch 语句等效于一组嵌套的if_s？

理想情况下（不要介意语法）：

compatible(X, Y) :-
    switch X
    a1 -> dif(Y, b2),
    a2 -> dif(Y, c2), dif(Y, c3),
    _  -> true

工作方式与此相同：

compatible(X, Y) :-
    if_(X = a1, 
        dif(Y, b2),
        if_(X = a2, 
            (dif(Y, c2), dif(Y, c3)),
            true
        )
    ).

【问题讨论】：

一个previous attempt.

标签： prolog meta-predicate

【解决方案1】：

:- module(switch_, []).

:- use_module(library(reif)).

:- multifile goal_expansion/2.

user:goal_expansion(switch_(X, ;(->(H, C), T)), if_(X = H, C, switch_(X, T))).
user:goal_expansion(switch_(X, ->(H, C)),       if_(X = H, C, fail)).
user:goal_expansion(switch_(_, true),           true).
user:goal_expansion(switch_(_, false),          false).

:- use_module(switch_).

likes(A, B) :-
   switch_(A, (
      john -> B = mary ;
      mary -> dif(B, john) ;
      true
   )).

例子

?- likes(A, B).
A = john,
B = mary ;
A = mary,
dif(B, john) ;
dif(A, mary),
dif(A, john).

?- likes(mary, B).
dif(B, john).

?- likes(john, B).
B = mary.

【讨论】：

[H -> C|T] 是无效的语法。 OnlySWI 接受。
@false，我稍微改了一下，现在 SWI 和 Scryer 都对语法很满意了。
你需要一个合适的 meta_predicate 声明。但目前:- meta_predicate( switch_(?, 0)). 会产生错误。因此，一些重新考虑是不可避免的。此外，请注意，_ 的最后一种情况永远不会用(=)/3 解决。
@false 你能给我一个失败的例子吗？
您需要添加提及的声明以查看是否存在错误（在 SWI 中）。如果不清楚，请说make。