人第二部分:第9章编码风格 9.1.7谓词 谓词没有前缀。然而,“try"可以用来表示一个谓词是确定性的, 特别是它被用做从一个相应的程序描述中区分确定性谓词的描述。 而后者将引起一个异常而不是失败。例如 try SetValue :(integer Value) determ (i) setValue :(integer Value) procedure (O 除非为了避免混淆必须添加后缀,否则谓词是没有后缀的。在一些 情况下,为避免混淆,表9-1中的后缀应该被选用 注意:一般来说,多重谓词应以_nd为后缀,但如果环境需要也可 用mult代之。 2004.11.3 A|程序设计 102004.11.3 AI程序设计 10 第二部分：第9章 编码风格 9.1.7 谓词 • 谓词没有前缀。然而，“try”可以用来表示一个谓词是确定性的， 特别是它被用做从一个相应的程序描述中区分确定性谓词的描述。 而后者将引起一个异常而不是失败。例如： trySetValue : (integer Value) determ (i). setValue : (integer Value) procedure (i). • 除非为了避免混淆必须添加后缀，否则谓词是没有后缀的。在一些 情况下，为避免混淆，表9-1中的后缀应该被选用。 • 注意：一般来说，多重谓词应以_nd为后缀，但如果环境需要也可 用_multi代之