Learning Objective: To reinforce the understanding on the use of Prolog as a tool of logic programming and the specification of declarative knowledge – semantic information. Learning Outcome: a) ...

Prologは論理プログラミング言語であり、人工知能や自然言語処理の分野で広く使用されています。このリポジトリでは、Prologの基本から応用までを学ぶためのサンプルコードや演習問題を ...

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.