article

Free access

Logic programming

Authors:

Michael R. Genesereth,

Matthew L. GinsbergAuthors Info & Claims

Communications of the ACM, Volume 28, Issue 9

Pages 933 - 941

https://doi.org/10.1145/4284.4287

Published: 01 September 1985 Publication History

PDF eReader

Abstract

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.

References

[1]

Clocksin. W.F. and Mellish. C.S. Programming in PROLOG. Springer- Verlag. New York. 1981.

Digital Library

Google Scholar

[2]

Genesereth, M.R. Partial programs. HPP-84-l. Heuristic Programming Project. Stanford University. Calif., 1984.

Google Scholar

[3]

Genesereth, M.R. The role of design descriptions in automated diagnosis. Artif. Infell. 24, 1-3 (Dec. 1984). 411-436.

Digital Library

Google Scholar

[4]

Genesereth. M.R. Greiner. R. and Smith, D.E. MRS-A meta-level representation system. HPP-83-27. Heuristic Programming Project. Stanford University, Calif. 1983.

Google Scholar

[5]

Hayes, P. Computation and deduction. In Proceedings of fhe 2nd MFCS Symposium. Czechoslovak Academy of Sciences, 1973, pp. 105-118.

Google Scholar

[6]

Kowalski. R. Algorithm = logic + control. Commun. ACM 22. 7 (July 1979). 424-436.

Digital Library

Google Scholar

[7]

Kowalski. R. Logic for Problem Solving. North-Holland. Amsterdam. 1979.

Digital Library

Google Scholar

[8]

McCarthy, J. Programs with common sense. In Semanfic lnformafion Processing, M. Minsky. Ed. MIT Press. Cambridge. Mass. 1968, pp. 403-410.

Google Scholar

[9]

Moran, T. Efficient PROLOG pushes AI into wider market. Mini- Micro Sysf. (Feb. 1985).

Google Scholar

[10]

Smith, D.E., and Genesereth. M.R. Ordering conjunctive queries. Arfif. Infell. 26, 2 {May 1985). 171-215.

Digital Library

Google Scholar

Cited By

View all

Lovrenčić SSekovanić V(2023)How Well Students Perceive Their Understanding of Logic Programming Course Content?2023 46th MIPRO ICT and Electronics Convention (MIPRO)10.23919/MIPRO57284.2023.10159945(824-828)Online publication date: 22-May-2023
https://doi.org/10.23919/MIPRO57284.2023.10159945
Genesereth MChaudhri V(2020)Introduction to Logic ProgrammingSynthesis Lectures on Artificial Intelligence and Machine Learning10.2200/S00966ED1V01Y201911AIM04414:1(1-219)Online publication date: 10-Feb-2020
https://doi.org/10.2200/S00966ED1V01Y201911AIM044
Koster A(2014)PROLOG for COBOL ProgrammersJournal of Research on Computing in Education10.1080/08886504.1989.1078188321:3(326-338)Online publication date: 25-Feb-2014
https://doi.org/10.1080/08886504.1989.10781883
Show More Cited By

Index Terms

Logic programming

Recommendations

A Higher-Order Logic as the Basis for Logic Programming
From answer set logic programming to circumscription via logic of GK

We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional ...
Intensional logic programming

Reviews

Reviewer: Ralph Walter Wilkerson

This paper presents a brief, yet very informative and readable, introduction to logic programming and its relationship to PROLOG as a software methodology. Both the advantages and disadvantages of using this methodology are presented. In particular, the limitations of logic programming as regards to its deductive methods and user control are discussed. All in all, this is a good paper for those interested in a quick overview of the subject.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1985

Published in CACM Volume 28, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

75
Total Citations
View Citations
1,268
Total Downloads

Downloads (Last 12 months)130
Downloads (Last 6 weeks)20

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lovrenčić SSekovanić V(2023)How Well Students Perceive Their Understanding of Logic Programming Course Content?2023 46th MIPRO ICT and Electronics Convention (MIPRO)10.23919/MIPRO57284.2023.10159945(824-828)Online publication date: 22-May-2023
https://doi.org/10.23919/MIPRO57284.2023.10159945
Genesereth MChaudhri V(2020)Introduction to Logic ProgrammingSynthesis Lectures on Artificial Intelligence and Machine Learning10.2200/S00966ED1V01Y201911AIM04414:1(1-219)Online publication date: 10-Feb-2020
https://doi.org/10.2200/S00966ED1V01Y201911AIM044
Koster A(2014)PROLOG for COBOL ProgrammersJournal of Research on Computing in Education10.1080/08886504.1989.1078188321:3(326-338)Online publication date: 25-Feb-2014
https://doi.org/10.1080/08886504.1989.10781883
Lee M(2014)An Expert System Construction Approach to CAI DevelopmentJournal of Research on Computing in Education10.1080/08886504.1988.1078186621:2(129-140)Online publication date: 25-Feb-2014
https://doi.org/10.1080/08886504.1988.10781866
Hamidi MFijany AFontaine J(2010)Enhancing Inference in Relational Reinforcement Learning Via Truth Maintenance SystemsProceedings of the 2010 Ninth International Conference on Machine Learning and Applications10.1109/ICMLA.2010.67(407-413)Online publication date: 12-Dec-2010
https://dl.acm.org/doi/10.1109/ICMLA.2010.67
Akinyokun D(2010)A framework for computer aided investigation of crime in developing countriesInformation Technology for Development10.1080/02681102.1988.96271183:2(101-109)Online publication date: 12-Jul-2010
https://doi.org/10.1080/02681102.1988.9627118
Uttamchandani SXiaoxin Yin Palmer JGul Agha (2005)MonitorMining: creating domain knowledge for system automation using a gray-box approach2005 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005. IM 2005.10.1109/INM.2005.1440771(61-74)Online publication date: 2005
https://doi.org/10.1109/INM.2005.1440771
Colmerauer A(2005)Une introduction à Prolog IIIFoundations of Data Organization and Algorithms10.1007/3-540-51295-0_137(263-288)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-51295-0_137
Schreye DBruynooghe M(2005)An application of abstract interpretation in source level program transformationProgramming Languages Implementation and Logic Programming10.1007/3-540-50820-1_39(35-57)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-50820-1_39
Asgharbeygi NNejati NLangley PArai S(2005)Guiding inference through relational reinforcement learningProceedings of the 15th international conference on Inductive Logic Programming10.1007/11536314_2(20-37)Online publication date: 10-Aug-2005
https://dl.acm.org/doi/10.1007/11536314_2
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

A Higher-Order Logic as the Basis for Logic Programming

From answer set logic programming to circumscription via logic of GK

Intensional logic programming

Reviews

Access critical reviews of Computing literature here

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations