Editor
prolog support
datalog