display(+項) display(+ストリーム,+項) displayq(+項) displayq(+ストリーム,+項)
どのdisplayの述語も複合項を表示する時には、オペレ−タの宣言を無視します。複合項は最初に関数子が来て、次に括弧で囲まれた引数が続く形式で出力されます。
display/1とdisplayq/1は、項である「項」を現在出力ストリ−ムに書き出します。
display/2とdisplayq/2は、「ストリ−ム」を出力に使用します。「ストリ−ム」は、前もって開かれていなければなりません。
?- display('Today'),displayq('\tToday'). Today '\tToday' yes ?- [user]. ｜ :- op(100,xfx,reports_to). ｜ end_of_file. yes ?- nl, display('Smith' reports_to 'Newton'). reports_to(Smith, Newton) yes ?- _
"displayq"の形式では、必要であればアトムを括弧で囲みます。以下の表は、出力フォ−マットwrite, writeq, display, diaplayqの違いを示しています。各述語が 'A' + 'B'をどう書くかを示しています。
オペレ−タの位置を 括弧で囲むか 'A' + 'B'の 重視するか 書き方
display off off +(A,B) displayq off on +('A','B') write on off A + B writeq on on 'A' + 'B'
stream_not_open 「ストリーム」がまだ開かれていない atom_expected 「ストリーム」はアトムでなければならない out_of_range 「ストリーム」は出力用に開かれていなければならない