P-99: 4.01 Check whether a given term represents a binary tree
P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます.
Mercuryでは以下のようなユーザ定義型でTreeを表すので、形式のチェックは不要。
:- type tree(T) ---> t(T, tree(T), tree(T)) ; nil.
P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます.
Mercuryでは以下のようなユーザ定義型でTreeを表すので、形式のチェックは不要。
:- type tree(T) ---> t(T, tree(T), tree(T)) ; nil.