10/01/28 18:29:39
>>453
問題がfalseとなっているから仕方ないのかも知れないが、
failにしておいた方が無難。call(fail)で真偽値に戻せるから。falseだと、
K-Prolog Compiler version 6.0.4 (C) KLS Research, Inc.
15: ?- fail.
no
16: ?- false.
existence_error: "procedure" found at "false"
Culprit: "false/0"
17: ?-
のようなことになる。