Adachi, Y.; Furusawa, Y. Logichart: A Prolog Program Diagram and Its Layout. ECEASST 2007, 7.