"Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases." . . . . .