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
最新問題