Magic Square

A (super slow) magic square solver in Prolog.