【論理】Prolog【初心者】

[745 デフォルトの名無しさん 2014/08/20(水) 17:10:44.30 ID:4GbBt7a2]

>>744
失敗駆動をfindall/3で隠蔽していますね。同様に、

main :- forall(multiply_of_product(X),writef('%t\n',[X])).

というのもあります。