Logic Programming

ロジックプログラミング

Rahul Nalawade によるコース「CS6374: Computational Logic」のために 2018 年春にプログラムされたロジック プログラミング コードのソース ファイルと関連情報が含まれています。

ディレクトリ:

1. 基本的なプロローグ
2. リスト処理、ツリー、算術演算
3. 効率的な算術演算、非決定的検索、ベルギーのスネーク問題
4. 解答セットプログラミングとs(ASP)
5. 制約ロジックプログラミング