RE: Prolog and linear algebra