Horn clauses as an intermediate representation for program analysis and transformation.
Graeme GangeJorge A. NavasPeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: Theory Pract. Log. Program. (2015)
Keyphrases
- intermediate representation
- horn clauses
- intermediate representations
- inference rules
- logic programs
- first order logic
- intermediate level
- inductive logic programming
- database queries
- web pages
- database
- image classification
- image interpretation
- supervised learning
- tightly coupled
- feature extraction
- artificial intelligence