Login / Signup
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics.
Lingzhong Zhao
Tianlong Gu
Junyan Qian
Guoyong Cai
Published in:
SEKE (2006)
Keyphrases
</>
logic programming
expert systems
logic programs
index structure
logic programming language
high level
b tree
conceptual graphs
operational semantics
neural network
knowledge base
decision trees
data structure
semantic information
transformation rules