การโปรแกรมภาษาโพรล็อก
(Prolog Programming)
หน่วยกิต (บรรยาย-ปฎิบัติการ): 3(2-2-5)
วิชาที่ต้องเรียนมาก่อน: 01418112 หรือ 01418114
พื้นฐานตรรกศาสตร์ เพรดิเคต การโปรแกรมเชิงตรรกะ โครงสร้างและส่วนย่อยของภาษาโพรล็อก หลักการโปรแกรมภาษาโพรล็อก การหาผลลัพธ์และการรวม การแทนความรู้ การตรวจสอบความสมเหตุสมผล การค้นหา และการประยุกต์
Basics of logic. Predicate. Logic programming. Structure and elements of Prolog. Principle of programming in Prolog.Resolution and unification. Knowledge representation.Reasoning. Searching and applications.