我正在尝试在SWI-Prolog中使用所谓的内置程序。 有问题的程序是sort/4。
问题是，当我尝试在我的程序中使用它时，我收到以下错误：
ERROR: Undefined procedure: sort/4
ERROR: However, there are definitions for:
ERROR: msort/2
ERROR: sort/2
我不明白，因为文档说它内置，但Prolog不知道它。我真的需要使用这个程序
你知道如何解决这个问题吗？我认为这是库的问题，并试图添加“： - use_module（library（lists））。”在我的代码开头但情况仍然相同。
希望你能帮助我，度过美好的一天