Visual prolog mac os x