OO jDREW 96

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O OO jDREW

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 obiektów.