...¹

O que se segue pode ser encontrado (com mais detalhe...) em ``A. K. Dewdney, A Máquina Mágica --Um manual de Magia Computacional, Ciência Aberta, 68, Gradiva, 1994, Cap. 21.''

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... ²

As regras de derivação básicas, implementadas em Prolog, podem ser encontradas em ``Domingos Moreira Cardoso, Programação em L ógica e Demonstração Automática de Teoremas, Cadernos de Matemática CM/D-03, pág. 54-56''

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.