โปรแกรมตาม gloria.sf.net

โครงการนี้เกี่ยวกับการใช้กลไกจัดการการเขียนโปรแกรมตรรกะสําหรับเอเจนต์ เราเริ่มต้นด้วยการดําเนินการตามขั้นตอนการพิสูจน์ iff โดย Kowalski และ Fung เป็นอัลกอริทึมตลอดเวลาที่เขียนใน Prolog