how non-trivial? https://github.com/terminusdb/terminusdb-server https://github.com/terminusdb/terminusdb-server is prolog but it's well beyond just 'non-trivi

how non-trivial? https://github.com/terminusdb/terminusdb-server https://github.com/terminusdb/terminusdb-server is prolog but it's well beyond just 'non-trivial' maybe poke around here: https://github.com/klaussinani/awesome-prolog https://github.com/klaussinani/awesome-prolog it's got a markdown parser linked https://github.com/rla/prolog-markdown https://github.com/rla/prolog-markdown