腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
Prolog
-
ASP
'not‘to
Prolog
negate
、
、
、
我在答案集编程(
ASP
)中有一个示例问题。当我尝试用
Prolog
编写等价的代码时,我总是被not阻塞。下面是
ASP
代码:road(potsdam,werder).road(X,Y) :- road(Y,X在
Prolog
中,我最初认为只需将not更改为\+即可。当我查询drive(X).时,它递归地生成X = potsdam答案。我知道
Prolog
和
ASP
的工作方式不同,但我就是搞不明白。
浏览 17
提问于2016-08-24
得票数 2
回答已采纳
1
回答
prolog
中命题表达式的否定
我是
prolog
的新手,我必须编写一个否定命题表达式的程序。如果有人能帮我,那就太好了。
浏览 1
提问于2016-11-12
得票数 0
2
回答
在(X)HTML中嵌入
Prolog
创建动态网页
、
有没有可能像PHP、
ASP
或JSP那样将
Prolog
代码嵌入到(X)HTML标记中?我看过XSB和SWI-
Prolog
,但没有找到任何类似的东西。例如,在
ASP
中,您可以毫无问题地执行以下操作:<html><%</body>如何以类似的方式组合(X)HTML和
Prolog
浏览 0
提问于2013-01-04
得票数 1
回答已采纳
1
回答
如何在Visual Studio2015中使用VSProlog?
、
、
但是试图在File>New项目中创建一个简单的
prolog
.pl或.ari文件...我可以创建C#,Visual Basic文件,
ASP
,Python。但似乎没有任何与
Prolog
相关的内容。如何在Visual Studio中创建
Prolog
文件?
浏览 0
提问于2016-03-13
得票数 3
2
回答
如何在
Prolog
中求反
我是
PROLOG
新手,刚开始学习的练习。但是,在GNU
Prolog
中,我得到以下错误: | ?
浏览 3
提问于2012-04-13
得票数 12
回答已采纳
1
回答
Emacs和
Prolog
、
、
我今天下载了SWI
Prolog
,但我无法让emacs识别我的
prolog
文件。我用扩展名.pl保存我的
prolog
文件,但是它一直认为它们是perl文件。./.emacs file和
prolog
.el文件。./.emacs文件的末尾,我附加了以下内容:(autoload
浏览 1
提问于2013-04-27
得票数 5
回答已采纳
1
回答
SWI
prolog
软件中的false,而GNU
prolog
中的false是否为真?
当我使用SWI
prolog
程序并运行下面的代码时,结果与GNU console不同,如SWI
prolog
中的show:atom([]). false,而GNU console
prolog
中的atom
浏览 20
提问于2019-11-28
得票数 2
7
回答
在emacs中使用
prolog
、
、
:pl.x86_64 : SWI-
Prolog
- Edinburgh compatible/
prolog
.el;;;
Prolog
mode (setq load-path (cons "~/.emacs.d/site-lisp/
prolog
/
prolog
.e
浏览 6
提问于2011-03-13
得票数 12
回答已采纳
1
回答
用PySwip从python中查询
Prolog
数据库
、
我已经用
Prolog
写了一个程序,我想用python访问它的结果。我曾尝试使用pyDatalog编写代码,但遇到了一个我无法解决的问题。如果我在SWI-
Prolog
中查询comb(O,[],a,b).,结果是O = ['-w2', '+w1']
prolog
=
Prolog
()
prolog
.consult("knowledge
浏览 1
提问于2019-07-26
得票数 1
1
回答
适用于mac的swi
prolog
独立可执行文件无法按预期运行
、
、
我正在尝试创建一个
prolog
独立的可执行文件,遵循上显示的简约示例。一切似乎都很正常,但是如果我试图在另一台没有安装swi-
prolog
的mac上执行,我会得到以下错误:% autoloading
prolog
_codewalk:portray_clause/1 from /usr/local&
浏览 0
提问于2016-12-20
得票数 1
1
回答
通过
prolog
.el在Emacs中选择这样的
Prolog
系统
、
蒂埃里·马丁内斯改变了
prolog
.el ,并提供了,通过它可以在一个小缓冲区中获得
Prolog
系统的菜单。有人向我建议(见下文),通过和,可以将这样或那样的
Prolog
系统的选择与给定的目录相关联。不幸的是,我没有成功地编写一个.dir-locals.el来选择目录中的SWI
Prolog
,以及另一个可以选择的文件,例如Jekejeke
Prolog
或GNU
Prolog
。
浏览 1
提问于2021-01-09
得票数 2
1
回答
在
PROLOG
中写入二进制文件
、
、
我知道如何写普通文件,但我在网上找不到任何关于
Prolog
中二进制文件的资源。 我正在使用Turbo
Prolog
。
浏览 1
提问于2010-11-02
得票数 0
3
回答
Interprolog和SWI-
Prolog
、
、
、
我已经按照下面的说明在我的linux机器上设置并安装了interprolog和swi
prolog
: 我已经将unixVariables.sh编辑为包含机器上的java和swi-
prolog
(pl)可执行文件的路径
浏览 2
提问于2010-02-09
得票数 2
回答已采纳
7
回答
prolog
入门的好IDE
为了我的工作,我需要开始学习
Prolog
。因此,该程序将被商业化使用。所以有几个问题:2)
Prolog
有没有商业标准?我只听说过SWI
Prolog
。我在考虑使用
Prolog
.el包吗?对此有何评论? 非常感谢你的回答,
浏览 20
提问于2011-03-12
得票数 39
回答已采纳
1
回答
如何通过python搜索查询来获得
Prolog
的结果?
、
,这是我尝试过的程序:
prolog
=
Prolog
()
prolog
.assertz("father(michael,gina)")我得到的输出: 进程已完成,出口代码139 (被信号11:
浏览 2
提问于2016-11-19
得票数 1
2
回答
Sphinx:对不同的输出格式使用不同的指令
、
、
假设您有一个reStructuredText文档,并希望使用Sphinx2.x: HTML以两种格式导出它。使用下面这样的替换指令将给您"I am HTML“,而不管导出格式如何。对于不同的导出格式,可以使用不同的指令吗?
浏览 3
提问于2020-02-27
得票数 1
1
回答
Prolog
:制作一个打印Hello的程序
、
、
我现在正在尝试做File->New执行查询时:这是印刷: 1 ?
浏览 4
提问于2010-03-31
得票数 12
回答已采纳
3
回答
编写可在GNU和SWI中运行的
Prolog
代码
、
、
、
、
我知道这是有限制的,但是有没有一种合理的方法在
Prolog
代码中加入条件指令,这样它就可以在GNU或SWI中合理地工作?
浏览 3
提问于2013-06-11
得票数 5
回答已采纳
1
回答
使用eclipse作为
Prolog
、
、
我通过ProDT通过help->install new software安装了
prolog
,打开了
prolog
透视图,创建了一个新的
prolog
项目和一个名为HelloProlog.pl的新文件,并给出了行:hello :- write('Hello
Prolog
World!').我确实检查了Windows->Preferences->
Prolog
->Interpreters并添加了swi目录的swipl.exe,但是没有什
浏览 2
提问于2016-03-11
得票数 3
1
回答
source_sink‘库(进程)’不存在
、
failed:
prolog
_pack:use_module(library(process)) ERROR: /usr/local/lib/swipl-7.5.5/library/
prolog
_pack.pl/
prolog
_pack.pl:57: Goal (directive) failed:
prolog
_pack:use_module(library(xpath)) ERROR: /usr/library
浏览 2
提问于2017-05-07
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
那迷人的被遗忘的语言:Prolog
《七周七语言:理解多种编程范型》读书笔记
黑客需要身兼几种计算机语言?
盘点:2020年5种流行的 AI 编程语言,就业高薪不是梦!
2020年人工智能的5种最佳编程语言
热门
标签
更多标签
云服务器
ICP备案
对象存储
腾讯会议
云直播
活动推荐
运营活动
广告
关闭
领券