You're currently viewing an old version of this dataset. To see the current version, click here.

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.

Data and Resources

This dataset has no data

Cite this as

Paul Tarau (2024). Dataset: Propositional Horn Clause Logic Dataset. https://doi.org/10.57702/evwo4rt2

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field	Value
Created	December 16, 2024
Last update	December 16, 2024
Defined In	https://doi.org/10.48550/arXiv.2306.14077
Author	Paul Tarau