如何在min()谓词序言中分隔值

甘达夫

我有一个谓词

cheapest(X,Y,T):-
    findall([Ci,Cj],trip_cost(X,Y,[Ci,Cj]),K),
    aggregate_all(min(A,B), 
       member([B,A], K), 
       T).

它给出的结果像

min(8,[a,b,m])

我想使它与谓词一起使用

cheapest(X,Y,T,C):-
        findall([Ci,Cj],trip_cost(X,Y,[Ci,Cj]),K),
        aggregate_all(min(A,B), 
           member([B,A], K), 
           T).

并希望结果像

T=[a,b,m]
C=8
怀疑
cheapest(X,Y,T,C):-
    cheapest(X,Y,min(C,T)).

由于没有知识库,因此我无法测试。

或类似的不需要cheapest/3

cheapest(X,Y,T,C):-
    findall([Ci,Cj],trip_cost(X,Y,[Ci,Cj]),K),
    aggregate_all(min(A,B), 
       member([B,A], K), 
       TT),
    TT = min(C,T).

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

如何在min()谓词序言中分隔值

来自分类Dev

如何在另一个谓词序言中一个一个地传递列表的值

来自分类Dev

如何在序言中追溯谓词?

来自分类Dev

如何阅读序言中的谓词

来自分类Dev

如何在序言中传递谓词中的列表

来自分类Dev

谓词“重复”如何在序言中创建无限选择点?

来自分类Dev

如何对序言中谓词的多个结果求和?

来自分类Dev

谓词在序言中编码

来自分类Dev

如何在序言中从右到左返回大于一个谓词中整数的所有元素?

来自分类Dev

如何在序言中打印?

来自分类Dev

如何通过序言中的输入来填充谓词的参数?

来自分类Dev

如何创建与序言中的整数范围匹配的谓词?

来自分类Dev

如何通过序言中的输入来填充谓词的参数?

来自分类Dev

如何在序言编程中定义谓词?

来自分类Dev

如何在序言中模拟嵌套循环?

来自分类Dev

如何在序言中查询规则?

来自分类Dev

如何在序言中控制用户输入?

来自分类Dev

如何在序言中返回数字?

来自分类Dev

如何在序言中加倍if语句?

来自分类Dev

如何在序言中控制用户输入?

来自分类Dev

如何在序言中返回结构

来自分类Dev

如何在序言中实现 toLowerCase?

来自分类Dev

如何在SQLite中分割逗号分隔的值?

来自分类Dev

如何在熊猫中分隔列名称及其值?

来自分类Dev

如何在javascript中分隔json_encode值

来自分类Dev

如何在嵌套列表中分隔列表值

来自分类Dev

如何在序言中存储函数的第一个返回值?

来自分类Dev

在序言中,函子与谓词以及目标

来自分类Dev

使用谓词在序言中解决kakuro