The Application of Prolog to the Development of QA and BDS Systems

Ivan Futó, Ferenc Darvas, Péter Szeredi. The Application of Prolog to the Development of QA and BDS Systems. In Logic and Data Bases. pages 347-376, 1977.

Abstract

Abstract is missing.