SWI-Prolog是Prolog的开源实现,可在Unix,Windows和Mac上运行。
我的问题与这个问题有关。我希望将以下prolog代码嵌入到python程序中:myEquation(A,B,C): - var(A),number(B),number(C) - > A是B + C;变种(B),数(A),...
我想自动调用文件中的查询列表:file queries.txt consult(uwr)。 submit_emit_timers(1)。 activate_game(1,底特律,3,柏林,1)。 submit_emit_timers(1)。 start_game(1)。睡觉(...
我正在使用Prolog编写脚本程序,在那里他们通过管道和JSON格式的数据进行交谈。除了json_read_dict / 2关系外,一切正常。 ? - json_read_dict(F,“[{\”...
如何在Linux上安装swi Prolog的图形化调试器(ubuntu)
我是Prolog的新手,当我尝试调用图形化调试器时,我收到以下错误消息:错误:未定义的过程:guitracer / 0(DWIM无法纠正目标)如何解决这个问题?
我正在计划SWI Prolog程序(语义自然语言解析器),它具有庞大而动态的事实集(具有大约30.000个条目的词典)。是否可以将这些事实存储在外部数据库中....
SWI Prolog与GNU Prolog - SWI下的CLP(FD)问题
我在Prolog中写了一个快速谓词,尝试了CLP(FD)及其解决方程组的能力。问题(A,B): - A-B#= 320,A#= 21 * B.当我在SWI中调用它时,我得到:? - 问题(A,B)。 ...
我正在研究验证龟文件的验证器。在处理函数以检查所声明的基数是否对每个对象都是正确的时,我无法弄清楚如何访问...的值
因此,我正在使用Definite Clause Grammars在SWI-Prolog中为一些编程语言编写简单的解析器。如果输入字符串或文件对所讨论的语言有效,则目标是返回true,...
我的问题:应用谓词并行过滤列表我有一个列表,我有一个谓词。在实践中,它是一个很长的列表,谓词需要一段时间。我只想输出......的元素
我想知道是否有办法在Swi-Prolog中返回一个Json对象,这样谓词名称就成了键,实例化的变量就成了值。例如:get_fruit(JS_out): - ...
我正试图用这些维度在prolog中创建一个列表:[[[_,_,_,_,_,_,_,_,_],[_,_,_,_,_,_,_ ,_,_]],[[_,_,_,_,_,_,_,_,_],[_,_,_,_,_,_,_,_,_]],[ [_,_,_,_,_,_,_,_,_],[_,_,_,_,_,_,_,_,_]],[[_,_,_,_ ...