Prolog最大期限

Question

我正在考虑使用一些非常长的术语来描述xy网格上的坐标，和/或整个xy网格本身。我试图在文档中找到一些信息，但是没有任何运气。

复合词的最大大小是多少，在哪里可以找到此信息？我目前正在使用SWI，但也可能会使用其他Prolog。

Answer 1

与您的问题有关的是标准标志max_arity和bounded。 max_arity标志可以具有值unbounded，这意味着只有内存限制了复合项的自变量数目，这是自然数。 bounded标志是一个布尔标志。如果为true，则意味着标准标志max_integer和min_integer指定可表示的整数。同样重要的是，如果没有结合，则最大原子尺寸也很重要，但不幸的是没有用标准标记表示。在这里，您需要检查Prolog系统的文档。