代码之家 › 专栏 › 技术社区 › user45610

在Prolog,cubeLess(X,B,R)中创建一个规则,计算3的幂和余数,使得B=x3+R

clpfd prolog

user45610 · 技术社区 · 8 年前

我在序言中有这个问题。Q: 创建一个规则cubeLess(X,B,R),它计算3的幂和余数,使得B=x3+R。例如,cubeLess(2,10,R)应得到R=2。到目前为止,我已经编写了基本大小写cubeLess(0,0,0) 和无立方体(X,B,R):-X>0, X1为X 十、十、我从这里怎么走?

1 回复 | 直到 8 年前

repeat 8 年前

我们假设这里的所有相关数都是整数。使用SWI Prolog,我们可以使用 clpfd :

:- use_module(library(clpfd)).

接下来,我们定义谓词 cubeLess/3 这样地:

cubeLess(X, B, R) :-
   B #= X^3 + R.

示例查询:

?- cubeLess(2, 10, R).
R = 2.

最普通的查询如何?

?- cubeLess(X, B, R).
X^3 #= _A,
_A+R #= B.

这里没有太多传播……但没关系!

如果您对地面解感兴趣,请约束有限域,然后使用 labeling/2 .

推荐文章

Sam · 如何在Swi Prolog中对元组列表排序

6 年前

davo · 序言:delete谓词如何提供列表的开头

6 年前

Zeph · 在Prolog中添加到列表列表

6 年前

Deeps · 在prolog中截断浮点数

6 年前

Anthony Gauthier · 分析不同规则中的规则体

6 年前

quixote · 如何在swi prolog中删除命令历史记录

6 年前

Walker · Prolog比较列表[关闭]

6 年前

user7303261 · 在prolog中运行main

6 年前

MasterYork42 · Prolog逻辑难题不起作用?

6 年前

Friedrich Schmidt · swi prolog中的逻辑门和

6 年前