Here is mediKanren (from the same authors): https://github.com/webyrd/mediKanren https://github.com/webyrd/mediKanren It's used for automated search through me

Here is mediKanren (from the same authors): https://github.com/webyrd/mediKanren https://github.com/webyrd/mediKanren It's used for automated search through medical databases for drug discovery: https://www.uab.edu/mix/stories/a-high-speed-dr-house-for-medical-breakthroughs https://www.uab.edu/mix/stories/a-high-speed-dr-house-for-me... Here is the Gerrit code review system: https://www.gerritcodereview.com/ https://www.gerritcodereview.com/ It allows you to specify complex rules for workflows, who may sign off on what patches etc. Those rules are written in Prolog, but I guess they might as well be written in some other logic language. Here is (or rather, will be) Gigahorse, an Ethereum smart contract decompiler: https://2019.icse-conferences.org/event/icse-2019-technical-papers-gigahorse-thorough-declarative-decompilation-of-smart-contracts https://2019.icse-conferences.org/event/icse-2019-technical-... The abstract doesn't say what "declarative, logic-based specification" is used in the implementation, but I know that two of the authors do a lot of work in Datalog, so it's Datalog.