序言，列表/ 1，內置系統謂詞，SWI-Prolog 7.4.2

Question

我想要使用SWI-Prolog 7.4.2來獲取一些內置謂詞的定義。具體而言，split_string/4。

explain/1回報：

system:split_string/4 is a built-in predicate Summary: ``Break a string into substrings'' true.

listing/1回報：

Foreign: system:split_string/4 true.

我已檢查System.pl文件，但我似乎無法找到定義。這可能嗎？

Answer 1

SWI-Prolog是基於C的。在github中查找* .c，更具體地在this source。