我想知道一个可以包含如下内置调用的Prolog:Calculates all solutions to generator.因此,例如,要在不使用递归的情况下对列表求和,您可以这样写:
X is 0, accum(member(Val,List), True, X is X + Val).有没有带有这个结构或类似结构的Prolog?请记住,我是Prolog的
我想从mondial中的现有谓词中编写一个谓词。我感兴趣的谓词是cc( country ),表示国家是这样一个国家,即在这个国家中,有一个城市的人口至少占该国总人口的75%。给定谓词的示例: % city(N,C,R,Pop) is a city by name N in country C in region R withcity('Aachen我实现这个任务的逻辑是: pop(Country,Pop) :-
ci