Programy według gloria.sf.net

Ten projekt dotyczy implementacji opartego na logice, aparatu rozumowania dla agenta. Zaczęliśmy od wdrożenia procedur iff-proof, przez Kowalskiego i Fung, jako algorytm w każdej chwili napisany w Prologu.