Prolog，listing/1，内置系统谓词，SWI-Prolog 7.4.2
Prolog, listing/1, Built-in System Predicates, SWI-Prolog 7.4.2
我正在尝试使用 SWI-Prolog 7.4.2 获取一些内置谓词的定义。具体来说，split_string/4.
explain/1 returns:
system:split_string/4 is a built-in predicate
Summary: ``Break a string into substrings''
true.
listing/1 returns:
Foreign: system:split_string/4
true.
我检查了 System.pl 文件，但似乎找不到定义。这可能吗？
SWI-Prolog 基于 C。在 github, more specifically at this source.
中寻找 *.c
我正在尝试使用 SWI-Prolog 7.4.2 获取一些内置谓词的定义。具体来说，split_string/4.
explain/1 returns:
system:split_string/4 is a built-in predicate
Summary: ``Break a string into substrings''
true.
listing/1 returns:
Foreign: system:split_string/4
true.
我检查了 System.pl 文件，但似乎找不到定义。这可能吗？
SWI-Prolog 基于 C。在 github, more specifically at this source.
中寻找 *.c