lambda - 在 Prolog 中用破折号分隔原子名称

Question

functor([a1-b1,a2-b2,a3-b3,a4-b4]).

我需要将 a 和 b 分开并构造新的两个仿函数，例如

functora([a1,a2,a3,a4]),
functorb([b1,b2,b3,b4])

Answer 1

使用 SWI-Prolog 和模块 lambda 可在此处找到 http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/lambda.pl ，你可以这样写:

:- use_module(library(lambda)).
separate(In, Out1, Out2) :-
    In =.. [_,L],
    maplist(\X^Y^Z^(X = Y-Z), L, L1, L2),
    Out1 =..[functora, L1],
    Out2 =..[functorb, L2].