>>664
Prolog にほとんど近い。並列論理型言語。
論理型言語はマッチングさせて収束するときに非決定性が
生じることがあるんだけど、それを優先度をつけることで解決するって感じ。
なんだか後ろ向きな解決法にしか思えない。
Oz はよくしらん。
GHC って Glasgow Haskell Compiler だよね？どう比べろと。