Da li neko zna neki dobar parser predikatskog racuna I reda?
Parser predikatskog racuna I reda
Zaključano
Zakačeno
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
f
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.
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.