Program menurut gloria.sf.net

Proyek ini adalah tentang menerapkan mesin penalaran berbasis logika-pemrograman untuk agen. Kami mulai dengan implementasi prosedur tahan iff, oleh Kowalski dan Fung, sebagai algoritma kapan saja yang ditulis dalam Prolog.