Logic Programming

Pemrograman Logika

Berisi file sumber dan informasi terkait tentang kode Pemrograman Logika yang diprogram selama Musim Semi 2018 untuk kursus CS6374: Logika Komputasi oleh Rahul Nalawade.

Direktori:

1. Prolog Dasar
2. Pemrosesan Daftar, Pohon dan Aritmatika
3. Aritmatika yang Efisien, Pencarian Non-Deterministik, dan Masalah Ular Belgia
4. Pemrograman Kumpulan Jawaban dan s(ASP)
5. Pemrograman Logika Kendala