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/ |
search 19 active users
recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site |