varは処理系作成中?のSasagawaさんのがいい動きをしています。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
O-Prolog Ver0.30
| ?-var(P).
yes
| ?-nonvar(P).
no
| ?-var(_).
no
|
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
AZ-Prolog Version 9.24 (Linux/x64)
Copyright (C) SOFNEC CO., LTD. 1987-2016/02/09
| ?-compound( a(bbb,ccc) ).
yes
| ?-var(P).
P = P_4;
no
| ?-nonvar(P).
no
| ?-var(_).
_.2 = __4;
no
| ?-
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
あと
ウェブサイトのアドレス変わりました。当分の間ここです。変わる可能性も
http://uema358.sakura.ne.jp/HP-prolog/index.html