Logic programming

1 September 1985

journal article
Published by Association for Computing Machinery (ACM) in Communications of the ACM

Vol. 28 (9) , 933-941
https://doi.org/10.1145/4284.4287

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.

Keywords

LETS
CHOOSE
MACHINES
EASIER
PROGRAMMING IS PROGRAMMING
PROGRAMMING BY DESCRIPTION
LOGIC PROGRAMMING
APPLICATION AREA
PROGRAMMER DESCRIBES

This publication has 3 references indexed in Scilit:

Ordering conjunctive queries
Artificial Intelligence, 1985
The use of design descriptions in automated diagnosis
Artificial Intelligence, 1984
Algorithm = logic + control
Communications of the ACM, 1979