Automated Modular Termination Proofs for Real Prolog Programs.

Martin Müller Thomas Glaß Karl Stroetmann

Published in: SAS (1996)

Keyphrases

prolog programs
logic programs
real life
fully automated
social networks
website
database
neural network
real world
search space
query language
theorem prover
term rewriting
formal proofs
mathematical proofs