On programming an interactive graphical application in logic. - Manuel João Próspero; Paulo Jorge Pereira (Comput. Graph., 1990)