On the Safe Termination of PROLOG Programs.

Krzysztof R. Apt Roland N. Bol Jan Willem Klop

Published in: ICLP (1989)

Keyphrases

prolog programs
logic programs
data sets
logic programming
active rules
term rewriting
neural network
real world
image processing
multi agent systems
rewrite systems