Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
谓词对于列表中的所有元素都必须为 true
我有一组事实 likes john mary likes mary robert likes robert kate likes alan george likes alan mary likes george mary likes har
Prolog
Same_length/2 更好的纯版本
鉴于频繁的纯定义same length 2 as same length same length As Bs same length As Bs same length L L loops 是否有一个纯粹的定义不会在这种情况下循环 类似于纯
Prolog
logicalpurity
Prolog 展平列表
flatten A B R islist A gt flatten A R1 R R1 write A append A R1 R flatten B R1 flatten X X islist 这是我写的代码 但我有奇怪的问题 I get
Prolog
根据一个值找到列表内列表的最小值
我在序言中有这个列表 dublin london 1000 dublin moscow london 5000 我想计算列表的最小值 这样答案应该是 dublin london 1000 这个问题有一些类似的问题序言中列表列表中的最小值 h
Prolog
我应该在 Prolog 和一般情况下避免尾递归吗?
我正在阅读 立即学习 Prolog 在线书籍 以获取乐趣 我正在尝试编写一个谓词 该谓词遍历列表的每个成员并向其添加一个 使用累加器 我已经在没有尾递归的情况下轻松完成了 addone addone X Xs Y Ys Y is X 1 a
Prolog
tailrecursion
accumulator
tailrecursionmodulocons
Prolog:子句在源文件中不在一起
我有这段代码 Family tree female pen male tom male bob female liz female pat female ann male jim parent pam bob parent tom bob
Prolog
isoprolog
斜线(/)在序言中做什么?
我有这个代码 set value X Value X T X Value T set value X Value Y V T Y V NewT X Y set value X Value T NewT set value X Value X
Prolog
operators
Prolog内存问题
我想找到一种方法来分析我在序言中编写的谓词 一个巨大的谓词 的内存使用情况 我目前正在运行它swi http www swi prolog org and yap http www dcc fc up pt vsc Yap document
Prolog
profiling
swiprolog
yap
如何找到排列的索引
index List Idx Predicate will get List with permutation and I want to know index of permutation For example index 4 1 3
Prolog
permutation
如何在 Prolog 中解决这个算术表达式难题?
我有一个编程问题 https blog svpino com 2015 05 08 solution to problem 5 and some other thoughts about this type of questions htt
python
Prolog
constraints
F# 和模糊逻辑
我知道这可能听起来很奇怪 但我想知道 Microsoft Visual F 正在进入的这个新世界中的一件事 这种语言有很多应用 我要学习 关于解析 函数式编程 结构化编程 但是人工智能呢 模糊逻辑有什么应用吗 F 是一种适合模糊逻辑应用程序
F
artificialintelligence
Prolog
fuzzylogic
如何为有效号码指定 DCG?
我正在尝试为有效数字指定 DCG 如下所示 value Number gt valid number Number 基本上检查指定的值是否是数字 它也可能是变量 因此有必要检查 我不知道如何构建这个valid number不过 DCG 谓词
Prolog
dcg
以系统的方式报告 Prolog 中查询失败的“原因”
我正在 Prolog 中寻找一种方法 模式或内置功能 我可以用它来返回why一组谓词失败 至少就数据库中的谓词而言 当用户在系统中提出查询时 我试图能够说的不仅仅是 那是错误的 例如 假设我有两个谓词 blue 1如果某物是蓝色的 则为真
Prolog
firstorderlogic
计算序言中列表的排列
在 序言艺术 第二版中有一个问题 您应该定义一个谓词 Even permutation Xs Ys 和类似的奇数排列 当您查询时 例如 Even permutation 1 2 3 2 3 1 和 odd permutation 1 2 3
Math
Prolog
Prolog 过滤自定义目标失败的所有元素的列表
我正在尝试写一个谓词filter List PredName Result 过滤一个List目标的所有要素PredName失败并随后返回Result列表 谓词PredName 1应该在调用过程时定义filter 3例如可以是 test N
Prolog
metapredicate
SWI Prolog 使用的检查优化会发生什么情况?
去引用SICStus Prolog 手册 https sicstus sics se sicstus docs 3 12 9 html sicstus Occur html 逻辑编程背后的通常数学理论禁止 创建循环项 规定发生检查应该是 每
Prolog
swiprolog
occurscheck
问题 - 序言中的形式语言
我正在尝试构建一个 DCG 它可以识别与此形式匹配的所有列表 a n b 2m c 2m d n 我写下了以下规则 s gt s gt ad ad gt a ad d ad gt bc bc gt b b bc c c bc gt a gt
Prolog
grammar
dcg
导入 csv 文件数据以填充 Prolog 知识库
我有一个 csv 文件example csv其中包含两列 标题为 var1 和 var2 我想填充一个最初为空的 Prolog 知识库文件import pl具有重复的事实 而每一行example csv处理方式相同 fact A1 A2 f
csv
Prolog
swiprolog
实现用户定义的算术函数
如何添加函数 例如汉明权重 并在右侧出现的表达式中使用它是一些 is 2 goal 像 goal expansion 或 term expansion 这样的东西可以帮助这里吗 我承认这不是一个大功能 但它可以提高我的一些 Prolog 程
Prolog
Expression
isoprolog
适合从记录中提取 OneToMany 关系的约束编程
也许有人可以帮助我解决 Prolog 或任何约束编程语言的问题 想象一个项目表 学生与母亲一起做某事的学校项目 每个项目都有一名或多名儿童参与 对于每个孩子 我们存储其姓名及其母亲的姓名 但对于每个项目 只有一个包含所有母亲的单元和一个包含
Prolog
constraints
constraintprogramming
1
2
3
4
5
6
...22
»