Login / Signup
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
Francçois Gobert
Baudouin Le Charlier
Published in:
CoRR (2007)
Keyphrases
</>
prolog programs
abstract interpretation
data warehouse
open source
logic programs
active rules