Programy według oojdrew.sf.net

OO jDREW jest aparatem rozumowania dedukcyjnego open source dla języka reguły reguły internetowej RuleML. OO jDREW implementuje obiektowe rozszerzenia do RuleML, które obejmują: Sortowane typy, szczeliny i identyfikatory obi