Logic Programming

การเขียนโปรแกรมลอจิก

มีไฟล์ต้นฉบับและข้อมูลที่เกี่ยวข้องกับรหัสการเขียนโปรแกรมลอจิกที่ตั้งโปรแกรมในช่วงฤดูใบไม้ผลิ 2018 สำหรับหลักสูตร CS6374: ลอจิกการคำนวณ โดย Rahul Nalawade

ไดเรกทอรี:

1. อารัมภบทพื้นฐาน
2. การประมวลผลรายการ แผนภูมิและเลขคณิต
3. เลขคณิตที่มีประสิทธิภาพ การค้นหาแบบไม่กำหนด และปัญหางูเบลเยียม
4. ตอบ ตั้งโปรแกรมและ s(ASP)
5. การเขียนโปรแกรมลอจิกจำกัด