SWI Prolog從命令行解釋/編譯

我正在使用Windows，並且我想用cmd解釋/編譯一個prolog文件，有沒有辦法做到這一點？其目的是使一個shell來解釋/編譯序言像一個文件：SWI Prolog從命令行解釋/編譯

gplc - 輸出C：\ a.output - 輸入C：\ a.pl

，並在輸出文件是我的目標的答案。我曾閱讀swi-prolog.com的一些文檔，但沒有找到。

我曾與GNU Prolog的嘗試（和它鼓舞了我一個錯誤的GCC）

我有這個文件d：\ a.pl mouther（約翰）。 jiji（ok）。

？ - jiji（ok）。

在CMD

我運行swipl -s d：\ a.pl -o d：\ a2.txt

，我想在A2的答案爲我的目標，但它並不是/

來源

2011-09-24 user558126

我現在不能檢查它，但你可以在開始時像

swipl -s file.pl -g "mygoal(3,foo)." -t halt.

這將諮詢file.pl，運行目標mygoal(3,foo)，然後停止解釋，而不進入交互模式。檢查命令行選項以獲取更多信息。

來源

2011-09-24 18:50:04 ThomasH

我在Windows 10上安裝了SWI-Prolog，但'swipl'命令仍然不適用於我。 –

@AndersonGreen SWI-Prolog的Windows安裝程序不會修改您的PATH變量，但您仍然擁有'swipl.exe'可執行文件。或者稱之爲完全限定，如'「C：\ Program Files \ swipl \ bin \ swipl.exe」，或者將相應的「bin」路徑添加到PATH環境變量中。 – ThomasH

嘿@ThomasH我試過了，但它仍然進入交互模式。如果我刪除了我正在加載的其中一個文件，那麼我可以看到目標的錯誤不存在。看起來，如果它起作用，它會進入swipl終端。有任何想法嗎？ – bitoiu

SWI Prolog從命令行解釋/編譯

回答

相關問題