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