第三部分:第14章内部论域、谓词和常量 14.3内部论域详解 : symbol 宽的0终止的宽字符序列。 与字符串相似,一个符号也是一个 UNICODE字符序列。它是通过指向包 含字符串的符号表的入口的指针而实现的。可应用于符号的操作与可应用 于字符串的操作相同 个符号的映像用< string|tera>表示(任何用双引号括起来的字符)。 符号和字符串大部分是可互换的,但它们存储的方式不同。符号保存在 个查询表中,而它们的地址,不是符号本身,被存储以代表对象。这意味 着符号可以快速匹配,而且如果一个符号在一个程序中反复出现,它们可 以非常简洁地存储。字符串并不存在于查询表中。无论何时字符串需要匹 配, Visual Prolog都会逐字符检查。 2004.11.3 A|程序设计 10第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 10 14.3 内部论域详解 ::symbol 宽的0终止的宽字符序列。 与字符串相似，一个符号也是一个UNICODE 字符序列。它是通过指向包 含字符串的符号表的入口的指针而实现的。可应用于符号的操作与可应用 于字符串的操作相同。 一个符号的映像用<string_literal>表示（任何用双引号括起来的字符）。 符号和字符串大部分是可互换的，但它们存储的方式不同。符号保存在一 个查询表中，而它们的地址，不是符号本身，被存储以代表对象。这意味 着符号可以快速匹配，而且如果一个符号在一个程序中反复出现，它们可 以非常简洁地存储。字符串并不存在于查询表中。无论何时字符串需要匹 配，Visual Prolog都会逐字符检查