Square Root - Prolog | SlaveCode