Login / Signup
A core Erlang semantics for declarative debugging.
Rafael Caballero
Enrique Martin-Martin
Adrián Riesco
Salvador Tamarit
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
attribute grammars
formal semantics
logic programming
high level
knowledge representation
data sets
neural network
rule engine
special case
object oriented
logic programs
truth maintenance systems
declarative language