Termination detection in logic programs using argument sizes (extended abstract)

This publication has 7 references indexed in Scilit:

• Inference of inequality constraints in logic programs (extended abstracts)
  Published by Association for Computing Machinery (ACM) ,1991
• Deriving constraints among argument sizes in logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1990
• Querying constraints
  Published by Association for Computing Machinery (ACM) ,1990
• On the convergence of query evaluation
  Journal of Computer and System Sciences, 1989
• Inference of monotonicity constraints in datalog programs
  Published by Association for Computing Machinery (ACM) ,1989
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985