Logic Programming

This publication has 41 references indexed in Scilit:

• The relation between logic and functional languages: a survey
  The Journal of Logic Programming, 1986
• Canonical logic programs
  The Journal of Logic Programming, 1986
• A basis for deductive database systems II
  The Journal of Logic Programming, 1986
• Quantitative deduction and its fixpoint theory
  The Journal of Logic Programming, 1986
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• A deterministic prolog fixpoint semantics
  The Journal of Logic Programming, 1985
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
  The Journal of Logic Programming, 1984
• Horn clause computability
  BIT Numerical Mathematics, 1977
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955