swi-prolog

    2热度

    1回答

    如何使列表构造函数（例如（a，[]）== [a]。）在Prolog中工作？

    我在学习Prolog和。（a，[]）== [a]。应该在SWI-Prolog中返回true，但它给我一个错误说 ERROR: Type error: `dict' expected, found `a' (an atom) ERROR: In: ERROR: [11] throw(error(type_error(dict,a),_4020)) ERROR: [10] '$type_erro
    prolog swi-prolog 2017-07-15

    1热度

    1回答

    将Microsoft .NET（C＃/ F＃）与SWI-Prolog接口

    我有将Prolog连接到C＃的问题。 Visual Studio中给出了这样的以下错误： “类型 'System.IO.FileNotFoundException' 未处理的异常发生在SwiPlCs.dll” ，我真的不知道如何处理这个。 我觉得从我的代码给了路径传来： using System; using SbsSW.SwiPlCs; namespace ptest { cl
    c# visual-studio prolog ffi swi-prolog 2017-07-24

    0热度

    1回答

    谁给了SWI-Prolog幽默感？

    谁给SWI-Prolog一个幽默感？ Welcome to SWI-Prolog (threaded, 64 bits, version 7.3.35) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details. For onli
    swi-prolog 2017-07-25

    1热度

    1回答

    SWI-Prolog：如何编写命令行输出的解决方案？

    我正在使用SWI-Prolog和clpr库来解决实数约束问题。我通过从command line调用SWI-Prolog并通过另一个程序解析输出来完成此操作。 例如，为了解决类似{F = 1.8 * C + 32}, {C = 25}.我将生成以下命令： swipl \ -g "use_module(library(clpr))" \ -g "{F = 1.8 * C + 32}
    command-line-interface swi-prolog clpr 2017-09-16

    4热度

    1回答

    反序列化SWI-Prolog中的32位浮点数

    有没有办法将序列化的float转换成SWI-Prolog浮点数，最好不要放入C中（如果必须，我会这样做）？ 我正在解析一个二进制流（OSC协议）。我得到32位IEEE 754浮点数作为4个'代码'字符的列表。现在我想用普通的SWI-Prolog浮点数来统一它。
    prolog swi-prolog 2017-09-16

    3热度

    1回答

    SWI Prolog程序能否从外部数据库中获取其事实？

    我正在计划SWI Prolog程序（语义自然语言分析程序），它具有庞大而动态的事实集（包含大约30,000个条目的词典）。是否有可能将这些事实存储在外部数据库中。由于其他要求，我正在考虑将Apache TinkerPop/JanusGraph/Cassandra作为我的数据库，但我也可以对支持的SQL/JDBC/ODBC数据库感到满意。
    database prolog swi-prolog tinkerpop 2017-12-27

    4热度

    1回答

    如何从SWI-序言

    我怎样才能让一个swi-prolog程序执行Python文件score.py并得到执行的输出python脚本获取产值？ 我读过有关process_create/3和exec/1但我无法找到太多的文档
    python prolog swi-prolog 2017-08-06

    1热度

    1回答

    如何将现有的prolog文件转换为C++及其模块？

    您好每个身体我有简单的prolog文件计算阶乘，我想知道如何咨询factorial.pl文件，并通过C++调用它的命名事实模块。 这是我的示例代码，但它无法正常工作。 #include <iostream> using std::cout; using std::cin; using std::endl; #include <SWI-Prolog.h> #include <SWI-St
    c++ swi-prolog 2017-08-11

    4热度

    1回答

    在运行时定义CHR约束

    我正试图编写一个程序，该程序在运行时在SWI-Prolog中生成新约束。 is_true([A,means,B])意在运行时产生另一个约束： :- use_module(library(chr)). :- chr_constraint is_true/1. is_true([A,means,B]) ==> (is_true(A) ==> is_true(B),writeln('asserte
    swi-prolog constraint-handling-rules 2017-08-12

    6热度

    1回答

    在SWI-Prolog中实现部分评估

    我正在为Prolog查询编写一个部分评估器。我试图扩大使用expand_goal/2查询，但它只是在这种情况下，Output统一了Input： :- initialization(main). main :- Input=is_between(1,A,3),expand_goal(Input,Output),writeln(Output). is_between(A,B,C) :-
    swi-prolog 2017-10-06
最新问题