Prolog，listing/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 中查找。