Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards an Efficient Prolog System by Code Introspection   To appear in Theory and Practice of Logic Programming (TPLP). Several Prolog
interpreters are based on the Warren Abstract Machine (WAM), an elegant model
to compile Prolog programs. In order to improve the performance several
strategies have been proposed, such as: optimize the selection of clauses,
specialize the unification, global analysis, native code generation and
tabling. This paper proposes a different strategy to implement an efficient
Prolog System, the creation of specialized emulators on the fly. The proposed
strategy was implemented and evaluated at YAP Prolog System, and the
experimental evaluation showed interesting results.

8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio