lines of code statistics"  = lines-of-code (openeditor) (realtime) (source)
  builder   : "Extract Datalog"                   = datalog-extraction (

module fact-extraction/datalog

imports
   libwebdsl-front
   libwebdsl-generator
   webdsl_editor
   resolve/function

signature constructors
  
  Fact : Id * List(Constant) -> Term

rules
   
  datalog-extraction : // use on main app file
    a@(node, position, ast, path, project-path) -> (filename, result)
    with  filename := <guarantee-extension(|"datalog")> path
    with  <webdsl-editor-init> (