Propositional Horn Clause Logic Dataset

The dataset used in this paper is a collection of questions and answers related to logic programming, with a focus on propositional Horn clause logic.

BibTex: