Logic programming

Logic programming is programming by description. The programmer describes the application area and lets the program choose specific operations. Logic programs are easier to create and enable machines to explain their results and actions.

[1]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[2]  John McCarthy,et al.  Programs with common sense , 1960 .

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

[4]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

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

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

[7]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[8]  David E. Smith,et al.  Ordering Conjunctive Queries , 1985, Artif. Intell..

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