7, 8 Floor SC-45 Building, Department of Computer Science, Faculty of Science, Kasetsart University
0-2562-5444 Ext. 647204, 647209, 647210

01418219 การโปรแกรมภาษาโพรล็อก

การโปรแกรมภาษาโพรล็อก

(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 application.