问Prolog "switch“语句
EN

Stack Overflow用户

提问于 2021-07-17 19:42:22

回答 1查看 92关注 0票数 1

我如何实现一个等价于一组嵌套的if_的switch语句？

理想情况下是这样的(不要介意语法)：

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
        )
    ).

prolog

meta-predicate

回答 1

Stack Overflow用户

发布于 2021-07-17 21:00:42

:- 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.

票数 -2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/68420194

复制

相似问题

问Prolog "switch“语句
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Prolog "switch“语句EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Prolog "switch“语句
EN