MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
ttydisplay(+項)
ttydisplayq(+項)
ttywrite(+項)
ttywriteq(+項)
「項」が常に標準出力に書き出される点を除けば、ttydisplay/1はdisplay/1に類似しており、ttydisplayq/1はdisplayq/1に類似しています。IF/Prolog起動時に標準出力がリダイレクトされていなければ、標準出力は端末です。displayの形式はユ−ザ定義の演算子の構文を無視し、複合項は最初に関数子が来て、次に括弧で囲まれた引数が来ます。項'Fred' reports_to 'Harry'は、reports_to('Fred','Harry')のように表されます。
ttydisplay/1では、アトムを括弧で囲みません。
ttydisplayq/1では、必要であればアトムを括弧で囲みます。
ttywrite/1はwrite/1に、そしてttywriteq/1はwriteq/1に類似していますが、「項」はいずれも標準出力に書き出されます。IF/Prolog起動時にリダイレクトされていなければ、標準出力は端末です。writeの形式は、ユ−ザ定義の演算子の構文に従います。項'Fred' reports_to 'Harry'は、reports_toを２つの引数の間に置く中置形式で表されます。
ttywrite/1では、アトムを括弧で囲みません。
ttywriteq/1では、必要であればアトムを括弧で囲みます。
?- ttydisplay('Fred' reports_to 'Harry'),nl,
ttydisplayq('Fred' reports_to 'Harry'),nl.
reports_to(Fred,Harry)
reports_to('Fred','Harry')
yes
?- ttywrite('Fred' reports_to 'Harry'),nl,
ttywriteq('Fred' reports_to 'Harry').
Fred reports_to Harry
'Fred' reports_to 'Harry'
yes
?- _
| 
