如何通過 SWI-Prolog 使用 Aleph 獲得理論

[英]How to get a theory by using Aleph with SWI-Prolog

我試圖通過使用帶有 SWI-Prolog ( SWI-Prolog Pack ) 的Aleph歸納邏輯編程系統來獲得理論 我的代碼是 我想要的是： 然而，我得到的結果是： 太奇怪了，我想要一個一般的理論，但 SWI-Prolog 只是給了我所有的規則。 ...

如何使用 SWI-Prolog 在 Aleph 中獲得更復雜的理論？

[英]How to get more complex theory in Aleph with SWI-Prolog?

我厭倦了用 Aleph 來獲得一個理論，但我只有一個頭和一個身體，實際上我想要更多的身體。 我的輸入文件是： 我的 output 是： 我想要的是： 現在只有一具屍體，但我想要三具。 並且有'attribute（A）'作為一個主體，如何只用一個變量添加這樣的東西？ ...

在 SWI-prolog 中使用 aleph：source_sink `library(aleph)' 不存在

[英]Using aleph with SWI-prolog: source_sink `library(aleph)' does not exist

我正在嘗試使用 SWI-Prolog 導入 Aleph。 當我運行我的程序時，出現以下錯誤。 我該怎么做才能導入library(aleph) ？ 順便說一下，我已經為我的程序下載了aleph.pl 。 這是我的測試程序，我知道 aleph 庫肯定有問題。 我得到了錯誤： ...

沒有在 Aleph 中為 SWI Prolog 提供理論

[英]Not getting a theory in Aleph for SWI Prolog

我試圖讓 Aleph 工作並得出一個簡單的理論：祖父母（X，Z）：-父親（X，Y），父親（Y，Z）。 但是我得到了一個原子（例如祖父母（john，johnJuniorJunior））。 希望有人能幫忙。 請注意，Aleph for SWI 使用單個文件作為輸入。 干杯/JC 我的程序： 我的輸 ...

在 C# 中使用 Aleph 和 SWI Prolog？

[英]Using Aleph in C# with SWI Prolog?

在 C# 應用程序中，我想使用 Aleph 來構建理論。 以下在 SWI-Prolog 中有效： 但在 C# 中，這些命令不會： 我收到PlQuery.PlCall("assert(read_all(datainput))")的以下錯誤： 我該如何解決這個錯誤？ ...

在 Windows 8 上編譯 Yap

[英]Compiling Yap on windows 8

我正在嘗試在我的 PC 上編譯 yap，因為似乎 YAP 默認安裝程序沒有啟用深度限制標志。 我需要這個來處理 Aleph 的 ILP 項目。 問題是，我被迫使用裝有 Windows 8 的 PC，但沒有足夠的內存用於 Linux 虛擬機。 我讓 cygwin 嘗試安裝它，但是一旦我進入安裝的“制 ...