腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
MCP广场
文章/答案/技术大牛
搜索
搜索
关闭
发布
搜索
关闭
文章
问答
(26)
视频
开发者手册
清单
用户
专栏
沙龙
全部问答
原创问答
Stack Exchange问答
更多筛选
回答情况:
全部
有回答
回答已采纳
提问时间:
不限
一周内
一月内
三月内
一年内
问题标签:
未找到与 相关的标签
筛选
重置
1
回答
Logtalk
-
logtalk
_load失败
我正在使用swi prolog,并且刚刚安装了
logtalk
。% C:\
Logtalk
/configs/swi.pl compiled% C:\
Logtalk
/integration/
logtalk
_comp_swi.pl compiled 0.11 sec,
浏览 5
修改于2013-03-22
得票数 1
回答已采纳
1
回答
使用
logtalk
3.0.0.1加载带有
logtalk
_load的库失败
安装
logtalk
3.0.0.1后,当
Logtalk
_load(库(Types_loader),source_data(on),report(on))。% c:/users/dizqj373/documents/
logtalk
/library/termp.lgt已加载!域错误:值别名/2不在域指令中!在第36-37行之间的文件c:/users/dizqj373/documents/
logtalk
/l
浏览 6
修改于2020-06-20
得票数 1
1
回答
Logtalk
和XPCE
是否可以同时使用XPCE和
Logtalk
开发应用程序,或者这两个类系统在某种程度上不兼容?
浏览 6
修改于2021-03-18
得票数 3
回答已采纳
3
回答
Logtalk
方法调用性能优化
在玩
Logtalk
的时候,我的程序似乎要更长时间来执行
Logtalk
对象而不是普通的Prolog。我做了一个基准测试,将平原Prolog中简单谓词的执行与下面等效的
logtalk
对象封装进行了比较:% plain prolog predicate% object encapsulation :- public([simple/0]).- benchmark(
logtalk</
浏览 1
修改于2015-09-26
得票数 2
回答已采纳
1
回答
Logtalk
中的对象数
我拿到协议了: :- protocol(person). age/1]). :- end_protocol. 例如,我使用create_object/4创建了数量未知的对象,如何获取这些对象的数量?通过current_object/1获取它们的名称不是问题,但我需要一个整数!
浏览 16
提问于2019-01-07
得票数 1
回答已采纳
2
回答
Prolog SWI :
Logtalk
,如何加载我自己的项目文件?
因此,这周我安装了
Logtalk
,这是Prolog的一个扩展。在这种情况下,我使用的是Prolog SWI,但我遇到了一个小问题。我不确定如何使用
Logtalk
实际咨询我自己的项目。为了理解代码本身,我查看了
Logtalk
附带的示例,通过这样做,我能够完美地加载和执行它们。但我不明白的是,当
logtalk
加载文件时,实际发生了什么,以及我如何加载我自己的项目。命令,我甚至可以使用"consult“来打开我的项目,但是如果我这样做的话,
logtalk
控制台似乎没有使用任何
logtalk</
浏览 4
修改于2013-04-02
得票数 1
回答已采纳
1
回答
Logtalk
:在Windows上加载带有camelcase命名的文件
使用
logtalk
3.1.2,在OS和Linux下,加载带有camelcase名称的文件没有问题,但会在Windows (ERROR : file does not exist)上抛出异常。
logtalk
_load(mypath(myFileNameInCameCase)) 怎么了?
浏览 5
提问于2015-10-28
得票数 1
回答已采纳
1
回答
从
Logtalk
访问SWI-Prolog库
我在使用
Logtalk
时很开心,但在使用phrase_from_file时遇到了一个问题。我希望尽可能地保留
Logtalk
的封装。 谢谢!
浏览 8
提问于2013-05-16
得票数 2
回答已采纳
1
回答
使用
Logtalk
超时函数测试SWI Prolog文件
当我使用
logtalk
_tester -p swi -t 60时,命令成功地运行了测试,但是提到
logtalk
将跳过-t 60超时标志。
浏览 5
修改于2021-07-30
得票数 0
回答已采纳
1
回答
将对象保存到
Logtalk
中的文件
我已经写了一个prolog项目,现在我必须将它更改为
Logtalk
文件。现在我想在
Logtalk
中做一些类似的事情,但不是使用事实,而是对象。我知道如何创建新对象(通过带协议的create_object/4 ),但我不知道如何将其保存在文件中作为数据库。
浏览 1
修改于2018-12-19
得票数 1
1
回答
Logtalk
中整数形式为object_identifier
我有个礼仪学生: :- public([ surname/1, marks/1:- end_protocol.swilgt给出了错误:
浏览 5
修改于2019-01-08
得票数 1
回答已采纳
1
回答
Logtalk
测试返回在SWI解释器下通过时失败
我遇到一个问题,当我将特定测试放入测试套件并通过
logtalk
传递它时,特定的测试返回false,但是当我使用相同的后端编译器(SWI)通过解释器运行它时,返回true (这是所希望的行为)。下面是
logtalk
测试结果的相关部分,一个测试在学生目录中的快照,以及当我通过SWI解释器通过相同测试时的输出。
浏览 5
提问于2021-08-01
得票数 0
回答已采纳
2
回答
Logtalk
:运行所有测试套件的最佳方法是什么?
在
Logtalk
代码示例中,每个示例都提供了自己的测试套件,可以在“独立”模式下运行(一次运行一个测试套件)。
浏览 4
修改于2015-11-02
得票数 3
回答已采纳
1
回答
对象名作为
Logtalk
中的变量
这可以将对象的名称作为变量来获取吗?我试图建立一个数据库,其中每个对象代表每个人。我有名字/1,姓/1的对象,但是当我问。
浏览 1
提问于2018-12-17
得票数 1
回答已采纳
1
回答
使用带有
Logtalk
对象方法的"univ“Prolog谓词作为参数
如何使用以
Logtalk
对象方法为参数的'Univ(‘( =../2 ) prolog谓词?
浏览 3
修改于2015-10-01
得票数 0
回答已采纳
1
回答
Logtalk
: meta::map,lambda表达式和对私有方法的访问
我认为这是一个与范围相关的问题。如果我对我的对象有这样的规则::- mode(new(+list, -object_identifier), one). self(Self), Instance::process_arguments(Args).:- object(name, instantiates(name)). 我不完全理解为什么这是
浏览 3
修改于2013-03-22
得票数 2
回答已采纳
1
回答
Inno安装程序:重命名目录失败
+ '\settings.lgt', NewFolder + '\settings.lgt', False); FileCopy(BackupFolder + '\settings.
logtalk
', NewFolder + '\settings.
logtalk
', False)started Setup vers
浏览 2
修改于2014-11-21
得票数 1
回答已采纳
2
回答
在XSB Prolog中heaps.P库在哪里?
我唯一的线索是
logtalk
中的一个库,它显然来自同一个原件。但我使用的是Prolog,所以必须将
logtalk
重新移植到Prolog。
浏览 3
提问于2012-04-26
得票数 0
1
回答
使用Bash脚本自动测试Prolog文件
编辑: :- initialization(( set_
logtalk
_flag(report
浏览 7
修改于2021-07-29
得票数 2
回答已采纳
1
回答
术语扩展工作流
(1)
Logtalk
的当前版本可以在:(2)在此上下文中,一组扩展规则应理解为在Prolog模块或
Logtalk
对象(不同于user伪模块/对象)中定义的term_expansion/2用户定义的钩谓词
浏览 5
修改于2015-11-17
得票数 3
第 2 页
领券