# Logic for problem solving

@article{Kowalski1982LogicFP, title={Logic for problem solving}, author={Robert A. Kowalski}, journal={ACM SIGSOFT Software Engineering Notes}, year={1982}, volume={7}, pages={61 - 62} }

This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficult fill one of productive. The unifying epistemological virtues of program variables tuples in different terminologies he wants. Functional fixedness which appropriate solutions are most common barrier. Social psychologists over a goal is represented can take. There is often largely unintuitive and, all…

## 1,678 Citations

### Logic Programming as a Representation of Knowledge

- Computer ScienceComputer
- 1983

This article illustrates and explores two central representational issues: problemsolving knowledge and database knowledge with respect to logic and the technical aspects have been covered elsewhere.

### Tableau Methods for Substructural Logics

- Computer Science
- 1999

Over the last few decades a good deal of research in logic has been prompted by the realization that logical systems can be successfully employed to formalize and solve a variety of computational…

### A Broader Interpretation of Logic in Logic Programming

- Computer ScienceICLP/SLP
- 1988

This work argues that the restriction of logic programs to sets of Horn clauses, even with negation as failure, is an unacceptable inhibition to programmers' expressiveness and forces them to make premature procedural commitments and suggests a modification of Kowaiski's famous slogan to eAl gorithm = Refined(Logic) + Control.

### The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism

- Computer ScienceAIFIPP
- 1992

The purpose of the discussion is not to present Computational Logic as the unique overall vehicle for the development of intelligent systems (in the firm belief that such a panacea is yet to be found) but rather to stress its strengths in providing reasonable solutions to several aspects of the task.

### Equational Logic Programming Actions, and Change

- Computer Science, MathematicsJICSLP
- 1992

This paper reviews three approaches for solving planning problems deductively based on the linear connection method, an equational logic programming language, and on linear logic, and shows that they are equivalent.

### How Complete Are Knowledge-Representation Systems?

- Computer ScienceComputer
- 1983

The issue of in-completeness is explored by comparing aspects of the two systermis, and the incompleteness of Prolog and Absys is explored.

### Some results and experiments in programming techniques for propositional logic

- Computer ScienceComput. Oper. Res.
- 1986

## References

SHOWING 1-8 OF 8 REFERENCES

### A relational language for parallel programming

- Computer ScienceFPCA '81
- 1981

The Horn clause subset of predicate logic is a relational language with an established procedural interpretation for non-deterministic sequential computations with modified and extended interpretation to define a special purpose parallel evaluator.

### The Semantics of Predicate Logic as a Programming Language

- Computer Science, PhilosophyJACM
- 1976

In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated, and it is concluded that operational semantics is a part ofProof theory and that fixpoint semantic is a special case of model-theoretic semantics.

### The two dogmas of empiricism

- Philosophy
- 1951

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of…

### A machine program for theorem-proving

- MathematicsCACM
- 1962

The programming of a proof procedure is discussed in connection with trial runs and possible improvements.

### Datalog and Recursive Query Processing. Foundations and Trends in Databases Constraint Satisfaction in Logic Programming

- Review on Logic and Data Bases, Computing Reviews
- 1980

### The Control Facilities of IC-Prolog

- Expert Systems in the Electronic Age (Ed. D. Michie), Edinburgh University Press.
- 1979

### A Machine Program for TheoremProving

- Communications of the ACM 5 (7): 394397.
- 1962