Logic programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Logic programming

Full text

Pdf (1.21 MB)

Source

Communications of the ACM archive
Volume 28 , Issue 9 (September 1985) table of contents

Pages: 933 - 941

Year of Publication: 1985

ISSN:0001-0782

Authors

Michael R. Genesereth	Stanford Univ., Stanford, CA
Matthew L. Ginsberg	Stanford Univ., Stanford, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 15, Downloads (12 Months): 93, Citation Count: 13

Additional Information:

abstract references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/4284.4287 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	W F. Clocksin , Christopher S. Mellish, Programming in Prolog (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1984
	2	Genesereth, M.R. Partial programs. HPP-84-l. Heuristic Programming Project. Stanford University. Calif., 1984.
	3	Michael R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence, v.24 n.1-3, p.411-436, Dec. 1984 [doi>10.1016/0004-3702(84)90043-2]
	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.
	5	Hayes, P. Computation and deduction. In Proceedings of fhe 2nd MFCS Symposium. Czechoslovak Academy of Sciences, 1973, pp. 105-118.
	6	Robert Kowalski, Algorithm = logic + control, Communications of the ACM, v.22 n.7, p.424-436, July 1979 [doi>10.1145/359131.359136]
	7	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	8	McCarthy, J. Programs with common sense. In Semanfic lnformafion Processing, M. Minsky. Ed. MIT Press. Cambridge. Mass.. 1968, pp. 403-410.
	9	Moran, T. Efficient PROLOG pushes AI into wider market. Mini- Micro Sysf. (Feb. 1985).
	10	David E. Smith , Michael R. Genesereth, Ordering conjunctive queries, Artificial Intelligence, v.26 n.2, p.171-215, May 1985 [doi>10.1016/0004-3702(85)90028-1]

CITED BY 13

	Jacques Cohen, Describing Prolog by its interpretation and compilation, Communications of the ACM, v.28 n.12, p.1311-1324, Dec. 1985
	Martha A. Centeno , Charles R. Standridge, Databases and artificial intelligence: enabling technologies for simulation modeling, Proceedings of the 24th conference on Winter simulation, p.181-189, December 13-16, 1992, Arlington, Virginia, United States
	Burkhard Peuschel , Wilhelm Schäfer, Concepts and implementation of a rule-based process engine, Proceedings of the 14th international conference on Software engineering, p.262-279, May 11-15, 1992, Melbourne, Australia
	Kevin L. Mills , Hassan Gomaa, Knowledge-Based Automation of a Design Method for Concurrent Systems, IEEE Transactions on Software Engineering, v.28 n.3, p.228-255, March 2002
	Alain Colmerauer, An introduction to Prolog III, Communications of the ACM, v.33 n.7, p.69-90, July 1990
	Sandeep Uttamchandani , Kaladhar Voruganti , Sudarshan Srinivasan , John Palmer , David Pease, Polus: Growing Storage QoS Management Beyond a "4-Year Old Kid", Proceedings of the 3rd USENIX Conference on File and Storage Technologies, March 31-31, 2004, San Francisco, CA
	Koichi Fukunaga , Shin-ichi Hirose, An experience with a Prolog-based object-oriented language, ACM SIGPLAN Notices, v.21 n.11, p.224-231, Nov. 1986
	Jan Kazimierczak, An approach to natural language processing in the rule-based expert system, Proceedings of the 1990 ACM annual conference on Cooperation, p.215-222, February 20-22, 1990, Washington, D.C., United States
	James S. Slagle , David A. Gardiner , Kyungsook Han, Knowledge Specification of an Expert System, IEEE Expert: Intelligent Systems and Their Applications, v.5 n.4, p.29-38, August 1990
	C. H. Kung, Conceptual Modeling in the Context of Development, IEEE Transactions on Software Engineering, v.15 n.10, p.1176-1187, October 1989
	Vijay K. Vaishnavi , Gary C. Buchanan , William L. Kuechler Jr., A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems, IEEE Transactions on Knowledge and Data Engineering, v.9 n.2, p.275-291, March 1997
	John F. Dooley, An artifical intelligence course in a liberal arts program, ACM SIGCSE Bulletin, v.20 n.2, p.36-39, June, 1988
	Gottfried Razek, Combining objects and relations, ACM SIGPLAN Notices, v.27 n.12, p.66-70, Dec. 1992

INDEX TERMS

Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: Prolog

F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.1 Mathematical Logic
Subjects: Logic and constraint programming

I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.3 Deduction and Theorem Proving
Subjects: Logic programming

General Terms:
Languages, Theory

REVIEW

"Ralph Walter Wilkerson : Reviewer"

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 particu more...

Collaborative Colleagues:

Michael R. Genesereth: colleagues

Matthew L. Ginsberg: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player