Towards an Efficient Prolog System by Code Introspection.

George Souza Oliveira Anderson Faustino da Silva

Published in: CoRR (2014)

Keyphrases

source code
expert systems
programming language
data sets
high level
knowledge representation
general purpose
real time
learning algorithm
knowledge base
search algorithm
natural language
relational databases
theorem proving
inference engine