start | find | index | login or register | edit
FLORA-2
by earl, 7631 days ago
"FLORA-2 is a [..] object-oriented knowledge base language and application development environment. The programming language of FLORA-2 is a dialect of F-Logic with numerous extensions, including meta-programming in the style of HiLog and logical updates in the style of Transaction Logic."

FLORA-2 uses XSB as inference engine.

People: [create Guizhen Yang], Michael Kifer, [create Chang Zhao]

- http://flora.sourceforge.net/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site