Horn Clauses as an Intermediate Representation for Program Analysis and Transformation.
Graeme GangeJorge A. NavasPeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: CoRR (2015)
Keyphrases
- intermediate representation
- horn clauses
- intermediate representations
- first order logic
- inference rules
- logic programs
- intermediate level
- inductive logic programming
- tightly coupled
- database queries
- viewpoint
- general purpose
- artificial intelligence
- learning algorithm
- probability distribution
- knowledge representation
- graphical models
- data mining
- data model
- object models
- decision trees
- search engine