Prolog 写経記 その 69 writenl/1

(ほぼ) 毎日淡々と Prolog を写経します．元ネタはこちら．

Prologユーティリティライブラリ

続けて writenl/1 を写経します．

解説

writenl(X) は項 X に続いて新しい 1 行を現在の出力ストリームに出力する (X を出力した後，改行する)．

ふむ．Java でいうと PrintStream#printnl(Object) そのまんまみたいな．

モード

writenl(+).

ふむ．

定義

では，こいつの定義を写経しませう．

writenl(X) :-
	write(X), nl.

ふむ．
どうということもない，というより必要かどうかすら怪しいくらいの定義．

例

では使用例を写経しませう．

6 ?- writenl('Parameter list'), write('----------').
Parameter list

















-








Yes

ふむ．
つまんね．

---