ギークもどきの日記帳

雑多な知識が垂れ流される場所。ほとんど無害。

2017-06-08から1日間の記事一覧

GHC(Guarded Horn Clauses)のインストール

GHC

GHCとは https://ja.wikipedia.org/wiki/Guarded_Horn_Clauses/ インストール方法 今回は、SWI-Prolog上に実装されたGHCの処理系をインストールする。 SWI-Prologは SWI-Prolog からインストールできる。 次に、 Software from UEDA Lab. から GHC system ru…