Y. Adachi and Y. Furusawa, “Logichart: A Prolog Program Diagram and its Layout”, eceasst, vol. 7, Sep. 2007.