腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
3
回答
swi-
prolog
中
的
Prolog
类型定义
types
、
prolog
、
definition
、
visual-prolog
在visual
prolog
中
,
prolog
程序中有“域”部分,您可以在其中定义类型。swi-
prolog
中有没有类似的东西?在visual
prolog
中
,类型定义如下:NewType = thing1; thing2
浏览 2
提问于2010-10-18
得票数 5
回答已采纳
2
回答
Prolog
与Erlang (以及其他
函数
式语言)
functional-programming
、
prolog
、
erlang
Prolog
有什么问题?以Erlang为例。它
的
语法借鉴自
Prolog
,它最初是用
Prolog
实现
的
,这真的很有趣。也就是说,从Erlang人
的
角度来看,
Prolog
存在根本性
的
问题,否则他们会根据自己
的
需要对
Prolog</e
浏览 1
提问于2016-02-27
得票数 12
1
回答
使用
Prolog
只打印出批处理
模式
下
的
一个结果
prolog
在
Prolog
中
,我可以打开REPL来交互地测试
Prolog
代码(交互
模式
),我还可以在要从命令行(批处理
模式
)执行
的
文件
中
写下代码。?- likes(sam, X)
的
结果,也可以使用once
函数
只获得一个结果。X = dahl. 因为我可以使用相同
的
函数
集,以批
浏览 0
提问于2015-02-02
得票数 0
回答已采纳
1
回答
如何在emacs
中
与次
prolog
进程交互?
emacs
、
prolog
、
read-eval-print-loop
、
swi-prolog
我已经安装了SWI-
Prolog
和Emacs
的
prolog
模式
。我有一个包含
prolog
的
first_steps.pl文件,并且我执行C-c C-b来查询缓冲区。这将打开第二个缓冲区*
prolog
*,其
模式
为(Inferior
Prolog
: run)。 一切都很好。但是,完全不清楚如何与较低
prolog
模式
缓冲区进行交互。没有提示符。如何根据从缓冲区查阅
的
代码执行查询,即与SWI
浏览 1
提问于2013-05-08
得票数 2
1
回答
Prolog
中
的
函数
模式
prolog
、
meta-predicate
如何创建一个接受另一个谓词并返回其派生版本
的
谓词?如果这不可能/常见/笨拙/违反原则,那么另一种
模式
是什么?
浏览 17
提问于2021-07-21
得票数 1
回答已采纳
3
回答
Haskell
中
的
模式
匹配等价变量,如
Prolog
中
的
haskell
、
syntax
、
prolog
、
pattern-matching
、
unification
在
prolog
中
,我们可以执行以下操作:也就是说,当myFunction
的
第一个参数与第二个参数
中
列表
的
第一项相同时,此
函数
的
计算结果为...。我现在
的
问题是。如何在Haskell
中
完成类似的事情?我认为
Prolog
的
模式
匹配比Haskell
的
更有表现力,我一直在尝试用Haskell编写
模式
匹
浏览 1
提问于2010-11-04
得票数 9
回答已采纳
4
回答
模式
匹配-
Prolog
与Haskell
haskell
、
prolog
、
pattern-matching
Prolog
和Haskell
中
的
模式
匹配有什么不同?eg ?- [a,b] = [a,X]现在我不确定如何在Haskell
中
显示
模式
匹配
浏览 1
提问于2012-03-20
得票数 36
回答已采纳
11
回答
你能在Scala中进行逻辑编程吗?
scala
、
programming-languages
、
prolog
、
language-features
、
logic-programming
我在某处读到,Scala
中
的
match/case特性所支持
的
模式
匹配实际上是从
Prolog
等逻辑语言中借鉴而来
的
。 你能使用Scala优雅地解决像Connected Graph问题这样
的
问题吗?例如
浏览 0
提问于2010-04-18
得票数 16
回答已采纳
7
回答
在emacs中使用
prolog
emacs
、
prolog
、
emacs23
GNU Emacs 23.2.1我开始进入
Prolog
,并且我想使用我
的
emacs作为在
Prolog
中
编程
的
IDE。 目前我对c/c++使用emacs。但是不确定如何开始使用
Prolog
。我知道emacs有一个用于在emacs
中
编程
的
内置库。然而,我研究发现它
的
特征较少,即没有语法突出显示,缩进等。在emacs IDE
的
菜单
中
,
Prolog
浏览 6
提问于2011-03-13
得票数 12
回答已采纳
1
回答
双加法(++)实例化
模式
在ECLiPSe
Prolog
中
的
意义是什么?
prolog
、
signature
、
eclipse-clp
在前面的一个问题:
中
给出了
Prolog
实例化
模式
的
全面列表。有人知道这种
模式
的
意义吗?
浏览 2
提问于2015-04-14
得票数 1
回答已采纳
1
回答
prolog
过程是否可以只以一种方式工作?
prolog
、
logic
我有一个
prolog
程序:link(liverpool,manchester).link(preston合并工作,如果我这样称呼它:或者更重要
的
是,它
的
设计目的是: merge([a,b,c],[a,d,e对于设计为单向工作
的
函数
来说,这是否是普遍接受
的
行为?还是有某种惯例,功能应
浏览 2
提问于2014-03-16
得票数 3
回答已采纳
3
回答
相当于SWI
Prolog
中
的
Python酸洗?
serialization
、
io
、
prolog
、
iso-prolog
我有一个
Prolog
程序,在这个程序
中
,我对所有长度达到一定长度
的
字符串进行暴力搜索。我正在检查哪些字符串与某个
模式
匹配,不断添加
模式
,直到我找到一组覆盖所有字符串
的
模式
。我希望将那些与我
的
任何
模式
都不匹配
的
模式
存储到一个文件
中
,这样当我添加新
模式
时,我只需要检查剩余
的
内容,而不是再次执行整个暴力搜索。如果我是用python编写
的</em
浏览 4
提问于2012-06-15
得票数 2
回答已采纳
3
回答
Ubuntu 9.10
中
的
prolog
IDE
ide
、
prolog
我开始学习
Prolog
。我使用
的
是Ubuntu 9.10,有人能给我推荐一个IDE吗?不幸
的
是,SCITE不支持
Prolog
,所以我尽量避免使用Eclipse和NetBean。
浏览 2
提问于2010-07-26
得票数 2
回答已采纳
2
回答
Emacs不能在默认
的
prolog
模式
下加载?
emacs
、
prolog
、
swi-prolog
、
emacs24
我
的
Gnu Emacs 24.4在Win 8似乎不能与它
的
默认
prolog
模式
工作。我有最新版本
的
SWI
Prolog
。当我加载Gnu Emacs并输入Mx
prolog
模式
时,语法会被高亮显示.但是,我无法编译这些规则,也无法对它们做任何事情。当我尝试使用Cc从Emacs内部运行
prolog
时,它会说“搜索程序:没有这样
的
文件或目录,
prolog
”。
浏览 3
提问于2015-04-21
得票数 4
回答已采纳
2
回答
如何在VisualC++上强制在发布
模式
下创建
函数
c++
、
visual-c++
可能重复: 我有这样
的
类方法,由于VisualC++发布
模式
的
优化,这个类方法实际上并没有被创建(
函数
只是在调用者
函数
中
“嵌入”,而没有适当
的
prolog
和epilog )。如何让编译器创建一个独立
的
函数
?
浏览 6
提问于2011-12-09
得票数 1
2
回答
Prolog
回溯与Rete回溯
prolog
、
backtracking
、
rule-engine
、
rete
在我
的
课堂上,我被教过
Prolog
回溯算法和Rete算法,但我也被告知Rete可以用来做反向支持。(R1) 24fingers and antennas => origin(mars)(R3) shy:(F2) 4arms 在
Prolog
中
,我们将
浏览 1
提问于2018-01-28
得票数 11
回答已采纳
1
回答
这是
prolog
中
is/2之前延迟评估和回溯
的
一个很好
的
例子吗?
prolog
prolog
中
的
以下查询成功。Y = 5?Arguments are not sufficiently instantiated 我们知道这是因为
prolog
中
的
数值计算是“非
prolog
样
的
”。下面的示例似乎允许
prolog
应用其进行回溯和搜索
的
能力,并延
浏览 11
提问于2022-10-15
得票数 1
3
回答
是否有一个库/技术来收集统计信息,以便在
Prolog
中进行最佳子句排序?
performance
、
optimization
、
prolog
、
swi-prolog
、
sicstus-prolog
我正在编写一个程序,其中我需要查看字符串是否与特定
模式
匹配。现在我已经把它作为规则matchesPattern(S)用
Prolog
实现了,有超过20种不同
的
定义。最后,我通过
模式
检查谓词来运行所有长度为一定长度
的
二进制字符串。程序相当慢(就像
Prolog
经常
的
那样),由于有这么多不同
的
定义,理想情况下我想对它们进行排序,以便最匹配
的
在排序
中
是最早
的
,因此
Prolog
首先匹配,尽可能
浏览 15
提问于2012-06-14
得票数 4
2
回答
无法在
Prolog
中
定义谓词
prolog
我刚刚开始学习
Prolog
,所以如果这有点天真,或者更确切地说是太天真了,请原谅。我正在尝试定义这个谓词uncaught exception: error(existence_error(procedure,(:-)/2),top_level/0) 我使用
的
是GNU
Prolog
。这里
的
错误是什么?
浏览 0
提问于2012-12-05
得票数 3
回答已采纳
1
回答
将小型正则表达式转换为DCG
prolog
、
dcg
我知道
Prolog
程序员通常使用DCGs而不是正则表达式来匹配字符串
中
的
模式
。在Perl
中
,人们可能会这样写 say "matched";如何在
Prolog
中
匹配相同
的
模式
?
浏览 0
提问于2012-12-14
得票数 3
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
PHP 中的函数式编程:高阶函数
Excel中Len函数与lenb函数的区别
Python中的函数(1)
Python中的lambda函数
Python 中的魔法函数
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
云直播
活动推荐
运营活动
广告
关闭
领券