sistema lineare con Prolog