在SWI Prolog中使用字符串

Question

我有点困惑。 我想使用split_string函数，可以在这里看到。 但我只是不知道如何导入或使用此功能。 我的PC上已经有这个pl文件吗？ 我只能在C：\\ Program Files \\ swipl \\ library \\ dialect \\ ciao中找到strings.pl，但我不包含split_string函数。

我敢肯定这是完全容易的，但我只是想不通。

谢谢！

Answer 1

如果尚未安装，则可能需要安装SWI-Prolog的“开发版本”（主要版本7）。 在Windows和MacOS上，这仅意味着获得正确的二进制文件 。 对于Linux，您可以添加PPA（在同一页面上），也可以直接从source进行构建 。

然后，您将获得以下内容：（注意标有版本号的横幅）

$ swipl
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.25)
Copyright (c) 1990-2014 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- split_string("a.b.c", ".", "", L).
L = ["a", "b", "c"].

您不需要显式导入任何内容。

这样可以解决您的问题吗？