Atur cara mengikut gloria.sf.net

Projek ini adalah tentang melaksanakan berasaskan logik pengaturcaraan, enjin penaakulan untuk ejen. Kami bermula dengan pelaksanaan prosedur iff-bukti, oleh Kowalski dan Fung, sebagai algoritma bila-bila masa yang ditulis da