Laura Giordano Alberto Martelli Structured Prolog: A Language for Structured Logic Programming. 125- 1994 15 Software - Concepts and Tools 3 db/journals/stp/stp15.html#GiordanoM94