Login / Signup
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