cu-Prolog on Mac OS X
(9)制約論理型言語:cu−Prolog
国産のProlog処理系。第五世代コンピュータプロジェクトで開発された物です。
Let's use cu-Prolog.
ここのFreeBSD用パッチを当てるとmake通りました。
なんか盛大にワーニングは出てるようですけど、動いたし。OK。
(9)制約論理型言語:cu−Prolog
国産のProlog処理系。第五世代コンピュータプロジェクトで開発された物です。
Let's use cu-Prolog.
ここのFreeBSD用パッチを当てるとmake通りました。
なんか盛大にワーニングは出てるようですけど、動いたし。OK。