Login / Signup
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.
Egon Börger
Francisco Javier López-Fraguas
Mario Rodríguez-Artalejo
Published in:
IFIP Congress (1) (1994)
Keyphrases
</>
mathematical analysis
logic programs
logic programming
high level
stable models
semantics for logic programs
expert systems
software engineering
parameter estimation
background knowledge
inductive logic programming
term rewriting systems