The role of logic programming in the Fifth Generation Computer Project

This publication has 34 references indexed in Scilit:

• Metamorphosis grammars
  Published by Springer Nature ,2005
• Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning
  Published by Springer Nature ,1986
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• Advances in Data Base Theory
  Published by Springer Nature ,1984
• On database systems development through logic
  ACM Transactions on Database Systems, 1982
• Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
  Artificial Intelligence, 1981
• A relational language for parallel programming
  Published by Association for Computing Machinery (ACM) ,1981
• Advances in Data Base Theory
  Published by Springer Nature ,1981
• Logic and Data Bases
  Published by Springer Nature ,1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977