Logic Programming in the Fifth Generation

The Japanese Fifth Generation Computer Systems (FGCS) project has chosen logic programming for its core programming language. It has recognized the major contribution that logic programming has to make not only in artificial intelligence but in database systems and software specification as well. It has recognized and intends to exploit the greater potential that logic programming has to offer for taking advantage of the parallelism possible with innovative multiprocessor computer architectures.

[1]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[2]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[3]  Leonard Bolc,et al.  Natural Language Communication with Computers , 1978, Lecture Notes in Computer Science.

[4]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[5]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[6]  Alan Bundy,et al.  MECHO: A program to solve mechanics problems , 1979 .

[7]  Ehud Y. Shapiro.  An Algorithm that Infers Theories from Facts , 1981, IJCAI.

[8]  Chuck Rieger,et al.  ZMOB: a new computing engine for AI , 1981, IJCAI 1981.

[9]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[10]  D. A. Turner.  The semantic elegance of applicative languages , 1981, FPCA '81.

[11]  Drew McDermott,et al.  The prolog phenomenon , 1980, SGAR.

[12]  Robert A. Kowalski,et al.  Logic and semantic networks , 1979, CACM.

[13]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[14]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[15]  Patrick J. Hayes,et al.  In Defense of Logic , 1977, IJCAI.

[16]  David H. D. Warren,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[17]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[18]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[19]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .

[20]  Zsuzsanna Markusz.  How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic , 1977, IFIP Congress.

[21]  Rod M. Burstall,et al.  HOPE: An experimental applicative language , 1980, LISP Conference.

[22]  Christopher J. Hogger,et al.  Goal-Oriented Derivation of Logic Programs , 1978, MFCS.

[23]  Ehud Y. Shapiro.  The Model Inference System , 1981, IJCAI.

[24]  Keith L. Clark,et al.  A First Order Theory of Data and Programs , 1977, IFIP Congress.

[25]  K. Clark,et al.  Predicate logic: a calculus for deriving programs , 1977, IJCAI 1977.

[26]  Verónica Dahl,et al.  Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems , 1979, IJCAI.

[27]  Christopher J. Hogger,et al.  Derivation of Logic Programs , 1981, JACM.

[28]  J. A. Campbell,et al.  Generating Contours of Integration: An Application of Prolog in Symbolic Computing , 1980, CADE.

[29]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[30]  Patrick J. Hayes,et al.  Computation and Deduction , 1973, MFCS.

[31]  Keith L. Clark,et al.  A relational language for parallel programming , 1981, FPCA '81.

[32]  George H. Pollard.  Parallel execution of Horn clause programs , 1982 .

[33]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[34]  Péter Szeredi,et al.  The Application of Prolog to the Development of QA and DBM Systems , 1977, Logic and Data Bases.

[35]  Keith L. Clark,et al.  Algorithm Classification Through Synthesis , 1980, Comput. J..

[36]  Edmond Schonberg,et al.  Programming by Refinement, as Exemplified by the SETL Representation Sublanguage , 1979, TOPL.

[37]  M. H. van Emden,et al.  Computation and Deductive Information Retrieval , 1977, Formal Description of Programming Concepts.

[38]  K. L. Clark,et al.  Logic Programming , 1982 .