Jens Bendisposto Ian Endrijautzki Michael Leuschel David Schneider A Semantics-Aware Editing Environment for Prolog in Eclipse http://arxiv.org/abs/0903.2252 2009 CoRR abs/0903.2252 db/journals/corr/corr0903.html#abs-0903-2252 informal publication