|start | find | index | login or register | edit|
by earl, 5712 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]
22 active users
|earl.strain.at • esa3 • online for 6773 days • c'est un vanilla site|