dtnrg-3----Page:26
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
|
SPINDLE KB based on Flora-2/XSB FLORA-2 = F-LOgic tRAnslator Declarative, object-oriented, (first order) logic programming style Logic based knowledge representation with frames (F-logic), meta (HiLog), and side-effects (Transactional logic) FLORA-2 is built on top of a tabled Prolog engine (XSB) XSB beneficial over some prologs because it solves the termination problem FLORA-2 has greater usability than Prolog Useful OO features such as inheritance Advanced aggregate expression support (better than SQL) Good interfaces (C and ODBC) and persistence features |