手机版
热门标签
站点地图
我要投稿
广告合作
联系我们
搜 索
广告位招租
广告位招租
切换导航
首页
人工智能
编程教程
编程导航
编程百科
编程问答
编程博文
编程实例
硬件设备
网络运营
软件教程
移动数码
办公软件
操作系统
网络运维
技术频道
▸ 编程语言
▸ 前端开发
▸ 移动开发
▸ 开发工具
▸ 程序设计
▸ 行业应用
▸ CMS系统
▸ 服务器
▸ 数据库
公众号推荐
微信公众号搜
"智元新知"
关注
微信扫一扫可直接关注哦!
swi-prolog
swi-prolog专题提供swi-prolog的最新资讯内容,帮你更好的了解swi-prolog。
为什么''/ 3默默地将关联列表转换成字典?
我在SWI-Prolog中进行了一些类型测试,偶然发现字典和<code>Key=Value</code>术语列表之间的差异。或更确切地
作者:佚名 时间:2022-06-03
swi prolog中的无向图
查找内部稳定性的数量 无向图。图的内部稳定性数是图中不相邻的最大顶点数。 <pre><code>reb(a,1,2). reb
作者:佚名 时间:2022-06-03
后期绑定变量?
我有 logtalk 规则要添加到 prolog 数据库中: <pre><code>add(IF, THEN) :- new_uid(U), assertz(cond(IF, 0, U)), assertz(act
作者:佚名 时间:2022-06-02
计算规则声明的次数 - SWIProlog
我想计算某个规则被声明的次数。 例如“my_rule/3”: <pre><code> my_rule(1,A,B) :- A is 1, B is 2.
作者:佚名 时间:2022-06-02
最新的 Prolog 实现基准?
是否有任何最新的 Prolog 实现基准(带有结果)? 我在 <a href="https://www.mercurylang.org/about/bench/ratios.h
作者:佚名 时间:2022-06-02
SWI-Prolog 找不到 pce 库
我为此浪费了整整一天,但找不到解决方案。由于 Google 没有提供任何其他类似的问题,我敢肯定我一定
作者:佚名 时间:2022-06-02
为什么 SWI-Prolog 只给出 f/1 就发明了 f/2?
SWI-Prolog 7.6.4: <pre><code>?- dif(X, f(Y)), X=f(a). X = f(a), dif(f(f(a), Y), f(f(Y), a)). </code></pre> 请注意,我在查
作者:佚名 时间:2022-06-02
如何使用 call_with_depth_limit/3
我试图在 SWI-Prolog 中使用 <a href="https://www.swi-prolog.org/pldoc/man?predicate=call_with_depth_limit/3" rel="nofollow noreferr
作者:佚名 时间:2022-06-02
Facts VIEW,像 SQL VIEW?
我有以不同格式存储的事实,例如: <pre><code> fact(a,b,c) fact(d,e,f(g,h)) fact(j(k,l),m,n(o,p,q)) ... </code></pre
作者:佚名 时间:2022-06-02
Prolog 99 瓶啤酒
以下代码和查询不起作用: <pre><code>bottles(X) :- write(X), write(' bottles of beer on the wall,'), nl, w
作者:佚名 时间:2022-06-02
SWI 序言:是否可以撤消回溯?
是否可以在 SWI Prolog 中定义一个类似于 Sicstus Prolog 的 <code>undo</code> 谓词?来自 Sicstus 的描述: <pre><c
作者:佚名 时间:2022-06-01
如何劫持 swi CLI 并对其进行自定义?
我想重用 swi CLI 界面 .. 而不是 <pre><code>1. wait for user to type a line ... plain string 1.1 if it starts with ! execute
作者:佚名 时间:2022-06-01
使用 maplist 将字符串列表更改为原子?
如何使用 maplist 将字符串更改为原子。 这不起作用: <pre><code> ?- maplist(atom_string,["a","b&
作者:佚名 时间:2022-06-01
如何从 Python Swipl Prolog 实现中的查询结果中删除 Atom 和 Functor 关键字?
我正在使用 pyswip 从 Python 3 运行我的 Prolog 查询,但对查询的响应不是我所期望的。而不是:<code>X = us, D
作者:佚名 时间:2022-06-01
SWI-Prolog 中正确的 unify_with_occurs_check/2 ?
有这种奇怪的行为。我正在运行这些测试用例: <pre><code>s1 :- Q=[[lambda,symbol(_3026),[cons,[quote,_3434],
作者:佚名 时间:2022-06-01
正则表达式检查列表
为什么 <code>isempty()</code> 不返回多个值,如 <code>writeln()</code>,而只返回一个 false: <pre><code>:- use_modu
作者:佚名 时间:2022-06-01
在外部存储中存储和查询异构事实|规则?
在数据库或其他存储中存储和查询异构事实和规则的最佳方法是什么。 例如: <a href="https://ww
作者:佚名 时间:2022-06-01
SWI-Prolog 中的正确 subsumes_term/2 ?
让我们假设 SICStus Prolog 是 某些谓词的实现,甚至是 ISO 核心标准 谓词。尤其是与属性变量有关。
作者:佚名 时间:2022-06-01
序言:随机排列
我正在尝试使用 prolog 进行随机排列。但问题是 <pre><code>smart_open</code></pre> 总是给出 <code>?- permutatio
作者:佚名 时间:2022-06-01
使用 Prolog 库 Simplex 求解线性方程组
我正在尝试使用 SWI-Prolog <a href="https://eu.swi-prolog.org/pldoc/doc/_SWI_/library/clp/simplex.pl" rel="nofollow noreferrer">sim
作者:佚名 时间:2022-05-31
上一页
1
2
3
4
5
6
下一页
小编推荐
苹果市值2025年有望达4万亿美元
• OPPO Find X8全系标配50W无线充电:支持
• 华为GT5 Pro手表开售:首发向日葵定位系
• 骁龙X Elite处理器CPU面积庞大无比 远超
• 杨幂巴黎时装周手持华为Mate XT三折叠拍
• iPhone 16价格对比:中国最便宜 比均价
• 深圳通交通卡限时免费开卡:支持华为、
• 荣耀笔记本X16 2025首销:酷睿i5-13420
热门标签
更多
python
JavaScript
java
HTML
PHP
reactjs
C#
Android
CSS
Node.js
sql
r
python-3.x
MysqL
jQuery
c++
pandas
Flutter
angular
IOS
django
linux
swift
typescript
路由器
JSON
路由器设置
无线路由器
h3c
华三
华三路由器设置
华三路由器
电脑软件教程
arrays
docker
软件图文教程
C
vue.js
laravel
spring-boot