A logic language for data and knowledge bases - Naqvi, Shamim; Isur, Shalom (New York : Computer science press, 1989)
Keywords: Computers; Computer programming languages; Computer programming