Extending Prolog for Quantified Boolean Horn Formulas.

Anish Mallick Anil Shukla

Published in: CoRR (2021)

Keyphrases

horn formulas
knowledge compilation
boolean functions
logic programming
knowledge base
knowledge representation
existentially quantified
expert systems
database
programming language
description logics
universally quantified
artificial intelligence
database systems
theorem proving