Login / Signup
Proving termination of Prolog programs.
Paolo Mascellani
Dino Pedreschi
Published in:
GULP-PRODE (1) (1994)
Keyphrases
</>
prolog programs
term rewrite systems
logic programs
logic programming
answer set programming
term rewriting
termination analysis
real world
active rules
rewrite rules
mobile robot
data sets
distributed systems
control flow
search algorithm
multi agent
similarity measure
high level
case study
neural network
databases