[ bakalov @ 25.03.2004. 02:29 ] @
Da li neko zna neki dobar parser predikatskog racuna I reda?
[ filmil @ 25.03.2004. 08:57 ] @
Jesi li probao guile? (http://www.gnu.org/software/guile/guile.html) To je scheme interpreter, dakle može da radi ono što ti treba, a i lako se integriše u programe.

f
[ bakalov @ 29.03.2004. 19:35 ] @
Hvala filmil,

Provericu guile, a ako nekom mozda posluzi, u medjuvremenu sam nasao i ovo http://www.ksl.stanford.edu/software/JTP/
Moze da se koristi i kao parser, radjeno je u Javi.