具有固定查詢的Prolog程序

Question

我想使用prolog（使用sem_web庫）對我的本體進行一些查詢。

我已經測試了啓動swi-prolog的查詢，但是我要做的是用固定查詢編寫一個.pl文件，然後啓動.sh以獲取結果。可能嗎？

我會得到結果爲了保存它們，就像在TXT。

Answer 1

這是可能的。看下面的例子。 （這是從Windows命令行，但是你應該得到好主意，如何在Linux環境中做到這一點。）

內容的hello_world.pl：

hello_world(X) :- 
    print('Hello'), print(X), print('!'), nl. 

命令行（或批處理/ shell腳本的內容可能存在的） ：

swipl -s hello_world.pl -g "hello_world('World'),halt" --quiet > output.txt 

的output.txt內容：

HelloWorld!