Mercury 勉強メモ

関数論理型言語 Mercury を勉強するブログです.

P-99: 3.01 Truth tables for logical expressions

P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます.

yes yes yes
yes no yes
no yes no
no no no