prolog-toplevel

1熱度

1回答

如何在SWI-Prolog REPL中將listing/0的輸出寫入文件？ ?- listing > file.txt.

1熱度

1回答

我想讓用戶輸入他們的生日，所以我可以告訴他們他們的星座。但是，我很難得到他們的實際生日和月份。有人可以幫我嗎？我試圖將讀取分隔成不同的函子，但我不斷收到錯誤。當我將兩個讀取結合起來時，出現的錯誤是「語法錯誤：操作員優先級衝突」。我將兩個讀取分開時得到的錯誤是「錯誤：=：=/2：參數沒有充分實例化」。當我分開讀取 start :- read_month, read_month :-

0熱度

2回答

變量未打印整個價值序言

如果我給你像 process([[baby],[boy],[[is]dancing],[with],[[the][family]]],A)，那麼它給作爲 A = [[baby],[boy],[[is]dancing],[with],[[..][..]]]. 輸出我想讓它顯示在終端所有的值。類似於 A = [[baby],[boy],[[is]dancing],[with],[[the][f

2熱度

1回答

Prolog的編譯器返回錯誤

我有這個假設的程序來檢查，如果路徑從A點的存在是爲了B. /*city rules*/ edge(phx, tuc). edge(tuc, ccg). edge(ccg, sf). connected(C1, C2) :- edge(C1, C2). connected(C1, C2) :- edge(C1, X), connected(X, C2).

1熱度

2回答

搜索在序言

一句我有一個列表L創建爲： atomic_list_concat(L,' ', 'This is a string'). L = ['This',is,a,string] 現在我想使用成員函數來搜索一個原子升。我想： ?- member(' is',L). L = [' is'|_G268] . ?- member(is,L). L = [is|_G268] . 它是什麼，我

-1熱度

1回答

序言 - 失敗; true

我的代碼在這裏有一些問題。比方說，我有一個知識基礎是這樣的： university('University of Cambridge', 1, 'United Kingdom', 90.3, 92.8, 89.4). university('University of Oxford', 2, 'United Kingdom', 88.9, 94.8, 88.0). university('E

0熱度

1回答

爲什麼我的replace/2程序總是返回false？

我的目標是用給定列表中的邏輯變量替換'_'。我的代碼： replace([], []). replace(['_'|As], [_|Bs]) :- replace(As, Bs). replace([A|As], [B|Bs]) :- A \= '_', B = '#', replace(As, Bs). 它會返回一個適當的名單，但始終與false結

0熱度

1回答

在SWI-Prolog中，當調用copy_stream_data時，如何避免「|：」提示？

我已經通過使用copy_stream_data在SWI-Prolog中實現了一個cat程序。文件args.pl： :- module(args, [withFilesOrUserInput/2]). withFilesOrUserInput(StreamFunction, []) :- call(StreamFunction, user_input). withFilesOrU

2熱度

1回答

如何更改序言中的'write_options'以打印長列表？

默認情況下，SICStus Prolog將只顯示列表的前10個元素（之後顯示...）。你如何讓Prolog顯示長列表的所有元素？我曾嘗試： set_prolog_flag(toplevel_print_options, [quoted(true), portray(true), max_depth(100), priority(699)]). ，但我得到的消息 expected w

1熱度

2回答

序言沒有給出正確的答案

我在學習序言。我寫了一些簡單的事實。但是，似乎Prolog沒有給我正確的答案。請幫我理解我在這裏做錯了什麼。 facts - weather.pl weather(pheonix,summer,hot). weather(pheonix,winter,warm). weather(la,summer,warm). 當我在SWI-序言運行此如下 ?- weather(City,_,warm)