Login / Signup
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code.
Timothy G. Lindholm
Richard A. O'Keefe
Published in:
ICLP (1987)
Keyphrases
</>
efficient implementation
logic programming
active set
programming language
dynamic environments
hardware implementation
expert systems
semantic information
formal semantics
data model
general purpose
logic programs
efficient processing
logic programming language