prolog-setof

0热度

1回答

我有一个谓词，其目的是打印出哪个国家面积最大（一个边界最大=最大面积）。这是我的谓词的样子： /* If I write get_country(X, 'Europe'). then all the countries in Europe that isn't bordering a sea gets printed out. However as you can see I am creat

0热度

1回答

SETOF/3和NAF

，所以我有一组事实： course(cs61, "intro to cs") ... course(cs62b, "data structure") ... grade(adam, cs61, spring11, "A") ... grade(chrisitian, cs61, fall2010, "A-") 我需要定义一个谓词good_standing(Student)，以确定

2热度

1回答

/3似乎SETOF并没有被删除重复

我试图找到一个列表的补集，给出一个列表L1和通用列表L2用下面的代码： complement(L1, L2, Res):- setof(X, (nth0(N, L2, X), not(member(X,L1))),Res). 然而，我结果包括重复并以列表形式都没有给我宁愿： 23 ?- complement([1,3], [-1,1,3,5,2,4,2,55,1,0], Res).

0热度

2回答

简单的Prolog SETOF

这很简单，但似乎无法把握它，我有这些“颜色” color(blue). color(red). color(white). 使用setof 我需要得到这些颜色的所有可能的组合列表中的这将是巨大的，如果你可以提供一个简要的解释。我想这个查询 setof(X,color(X),Colors).这显然失败感谢

0热度

2回答

序言如何防止重复回答

我的程序知识库具有原子语句和规则，如 store(itemName, ProductType) 例如：商店（iPhone5的，电话） manufacturer(itemName, Company) 例如：制造商（iPhone5的，苹果）查询是要找出是否有制造超过2个不同产品类型的公司，所以苹果将有Macbook，iPad和iPhone 这里是我们的查询： ?- store(ItemID1

0热度

1回答

序言确保规则的返回参数是独一无二的，在规范顺序

我有，看起来像下面这样的Prolog的文件中声明了一些数据： gen1(grass). gen1(poison). gen1(psychic). gen1(bug). gen1(rock). ... gen1((poison, flying)). gen1((ghost, poison)). gen1((water, ice)). ... weak1(grass, poison

0热度

1回答

序言查找全部谓词

我试图找到一个人的所有的兄弟。我已经创建了以下规则.. find_all_brothers(Z):- findall(X,brother(X,Z),X0),write(X0). 然而这工作，如果一个人有一个以上兄弟，然后它会只找到一个兄弟..我假设我不得不使用递归方式，但我有点卡住了！

3热度

2回答

序言：失败驱动循环

我使用以下故障驱动循环列出所有内容，而不使用分号。 happiness(fred,5). happiness(john,3). happiness(grace,2). someGoal(X) :- happiness(X,Y), write(Y), tab(4), fail. 在查询模式下，我得到这个预期 ?- someGoal(_). 5 3 2 我怎样才能插入这

0热度

1回答

Prolog - 使用Bagof

我一直在学习考试时遇到过去的纸质问题。的问题是： https://gyazo.com/ee2fcd88d67068e8cf7d478a98f486a0 我想我必须使用findall/bagof/setof因为我需要收集一套解决方案。此外，setof似乎是合适的，因为该列表需要按降序呈现。我的解决方案迄今： teams(List) :- setof((Team, A), (T

1热度

2回答

SWI Prolog使用聚合

我在SWI Prolog上创建了一个简单的数据库。我的任务是根据生产计划来计算每个部门的工作时间。我差不多完成了，但我不知道如何总结我的结果。至于现在我得到这样的事情部门数量 B 20 Ç50 下30 我怎么能转换到这个？ B 20 C 80 我的代码https://gist.github.com/senioroman4uk/d19fe00848889a84434b