start | find | index | login or register | edit
by earl, 6774 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]

powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7835 days • c'est un vanilla site