public void Pl_query_version() { long v = PlQuery.Query(PlQuerySwitch.Version); Assert.AreEqual(60605, v, "SWI-Prolog version number "); }