Simulating Wang algorithm in Prolog