Mercury 勉強メモ

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

2014-04-13から1日間の記事一覧

P-99: 3.05 Huffman code

P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます. [{'a', "0"}, {'b', "101"}, {'c', "100"}, {'d', "111"}, {'e', "1101"}, {'f', "1100"}]

P-99: 3.04 Gray code

P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます. ["000", "001", "011", "010", "110", "111", "101", "100"]

P-99: 3.03 Truth tables for logical expressions (3)

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