"Lambda" PROLOG: interpretador e unificação de ordem superior. - Artemio Ludwig (1992)