Simple Prolog makespec test