使用ROS查询KB时的分割故障
我构建了一个 ros 软件包来运行此脚本，称为 planner_node.py 与prologswoolbles Boasen（KB）接口： #! /bin/env python3 from pyswip import Prolog…
在不使用内置Findall的情况下实现简单版本的Prolog Findall
我正在尝试在Prolog中实现一个简单的Findall版本，而无需使用内置的Findall或类似的内置谓词 - 就像学习练习一样。 例如，假设我的数据库中有一个关系…
获得列表Elemnt的特定部分
我有此列表 [c1 = 2*3，c2 = 5*1，c3 = 1*1] ，我想创建一个新列表，只有列表的每个元素的第三元素，因此，像这样的东西 [2,5,1] 。我正在使用NTH0访…
prolog'shift'/`reset'与其他语言一样？
我在Haskell resett $做 阿尔法 布拉沃 X＆lt; - shiftt $ \ ens＆gt;做 查理 提升$ ESC 1 三角洲 举起$ ESC 2 返回0 Zulu X 这将： 表演 alfa 表演 b…
打印消息升起时出错例外：type_error在plunit run_tests上
这些是在Chess.pl中定义的 :- dynamic drop/1. :- dynamic start/1. a_drop(X) :- piese(X), piese_pos(X, Y), \+ on(Y), assertz(drop(X)). a_pickup…
SWI-Promog：寻找一种在单独行中打印字典值的方法
我正在寻找一种打印一些 dictionary 以每种方式的值值在终端中的单独线上。 例如，如果我的 X = abc{a:1,b:2,c:3,d:4,e:5,f:6,g:7,h:8,i:9,j:10}. 输…
swi-prolog Library`关联：get_assoc`赢得了统一
我正在使用Swi-Prolog的Library 关联。这是一个让我感到困惑的查询： ?- empty_assoc(E), put_assoc(K, E, V, E2), get_assoc(key, E2, 2). false. 为…
如何在Mac Monterey上安装 /使用Prolog
当我使用vScode用C ++代码时，我安装了Xquartz。我是一个血腥的初学者，绝对不知道如何使用Mac上的内置编辑器使用SWI Prolog。或VSCODE作为编辑器。 …
Prolog：将术语转换为字符串？
我有一个 Prolog 程序，它生成这种形式的项： :-op(803, xfy, →). connect(X, Y, Result):- Result = (X → Y). 如果我现在调用 connect(a,b,R)，我…
将元组事实过滤到新列表
我在尝试过滤通过 CSV 导入的事实时遇到问题。我有以下 CSV 文件： "colA","colB","colC","colD" "what","is","the","chocolate" "hello","my","frien…
