SWI Prlog format 谓词说明

Posted on 2011年1月03日 05:49

SWI Prolog的format类似于c语言的printf语句,用于格式化输出数据。它的格式是:

format(+Format, +Arguments).

其中Format是格式描述,用~作为描述符的开头(类似于C语言的 %)然后是一个可选的数字(可用ASCII码、`字符、*三种方式),最后是格式符号。Arguments 是需要输出的数据,如果多于1项,需要把输出数据放在列表中。

继续阅读