Theme: ambiance blackboard cobalt eclipse elegant erlang-dark lesser-dark monokai neat night rubyblue vibrant-ink xq-dark

Datalog.js

(not affiliated with, but using MITRE lightweight Datalog