Prolog is a fun and easy programming language to learn. It serves a very important role in artificial inteligence. It is a programming language made for artificial inteligence rather than an AI ...
論理型言語として知られるPrologについて学ぶシリーズ。初歩のPrologプログラミングについてステップ・バイ・ステップで触れていきます。前回はSWI-Prologを用いて、事実の記述についていくつかプログラムを試してみました。今回は、後編として、規則の記述 ...
The basis for lambda prolog is higher order logic. This is achieved through types and sequent calculus. In lambda prolog there are only 6 types: int, real, o, string, in_stream, out_stream, all ...
So the faculty requires me to take two 3rd year courses in Prolog. One of them is in AI, the other is a split between functional and logical programming, with the functional being done with Haskell.
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する