Mercury 勉強メモ

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

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

P-99: 3.02 Truth tables for logical expressions (2)

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

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

P-99: 2.11 Compare the two methods of calculating Euler's totient function

P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます. $ time ./p99_39a 4032 real 0m12.336s user 0m12.340s sys 0m0.005s $ time ./p99_39b 4032 real 0m1.221s user 0m1.216s sys 0m0.006s 2.10 の解法のほうが高速だった。 a) b)

P-99: 2.10 Calculate Euler's totient function phi(m) (2)

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

P-99: 2.09 Calculate Euler's totient function phi(m)

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

P-99: 2.08 Determine whether two positive integer numbers are coprime

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

P-99: 2.07 Determine the greatest common divisor of two positive integer numbers

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