start codemirror integration
codemirror prolog mode
some grammar fixes and their consecuences. disjunction doesn't seem to work
tentative disjunction fix
tentative disjunction fix
Merge branch 'grammarfix' of https://github.com/fgc/prologjs into grammarfix
disjunctions seem fixed
use full unification when checking simple queries too