內部謂詞

Prolog提供的一些內部的函式，我把這些內部函式稱為內部謂詞。
內部謂詞一般所完成的工作都是與邏輯程式無關的，例如輸入輸出的謂詞。所以我們可以把這些謂詞叫做非邏輯謂詞。
但是這些謂詞也可以作為Prolog的目標，所以它們也必須擁有和邏輯謂詞相同的四個連線埠：Call、fail、Redo和Exit。
如：
write/1
此謂詞被調用時永遠是成功的，並且它可以把它的參數作為字元串輸出到螢幕上。當回溯時，它永遠是失敗，所以回溯是不會把已經寫到螢幕上的字元又給刪除的。
nl/0
此謂詞沒有參數，和write一樣，從Call連線埠調用時總是成功的，從Redo連線埠回溯時總是失敗的，它的作用是在螢幕上輸出一個回車符。