Logic programming has developed into a broad discipline within computing science. Besides its basic role as a declarative programming language, it is also contributing significantly to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. Th[...]