関数名 fprintt printt sprintt outputlen 概要
#include "cpro.h"
char *fprintt(fp,format,arg1,arg2,...) char *printt(format,arg1,arg2,...) char *sprintt(bufp,format,arg1,arg2,...) FILE *fp; char *bufp, *format;
int outputlen(TermFormat,Term) char *TermFormat; TERM Term;
fprintt(),printt(),sprintt()は、C関数fprintf(),printf(),sprintf()への拡張です。それらは、引数をformatに応じてそれぞれファイルfp, stdout, 文字列bufpに出力します。formatは、出力される要素の数とデ−タ型を以下のように指定します。
-argiは、CパラメタまたはPrologの項 -Cパラメ−タのformatは、fprintf()で使うものと同じです。 %s, %d, %u, %x, %o, %ld, %fなど -IF/PrologのTERMは、述語により次のようにプリントされます。 %t - write(Term) %T - display(Term) %q - writeq(Term) %Q - displayq(Term)
関数outputlen()は、TermがTermFormatである"%t","%T","%q","%Q"のいずれかによって出力された場合に、生成された出力文字の数をかぞえ、その値を返します。