I've been building something similare, but on Datalog instead of Prolog: https://github.com/theknarf-experiments/flow-md