Prolog，清单/ 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。