magic4
Prolog Source