Added test prolog files. Updated README with prolog and query tips as well as current status of A7