Journal of Automated Reasoning

, Volume 6, Issue 1, pp 77–78 | Cite as

The problem of choosing between logic programming and general-purpose automated reasoning

  • Larry Wos
Basic Research Problem


This article is the thirteenth of a series of articles discussing various open research problems in automated reasoning. Here we focus on finding criteria for correctly choosing between using logic programming and a more general automated reasoning approach to attack a given assignment. The problem proposed for research asks one to find criteria that classify problems as solvable with a well-focused algorithm or as requiring a more general search for new information. We include suggestions for evaluating a proposed solution to this research problem.

Key words

Algorithmic reasoning automated reasoning logic programming unsolved research problem 


  1. 1.
    Bartley, W. W., Lewis Carroll's Symbolic Logic, Clarkson N. Potter, Inc., New York (1977).Google Scholar
  2. 2.
    Bratko, I., PROLOG Programming for Artificial Intelligence, Addison-Wesley, Reading, Mass. (1986).Google Scholar
  3. 3.
    Clocksin, W. and Mellish, C., Programming in Prolog, Springer-Verlag, New York (1981).Google Scholar
  4. 4.
    Kowalski, R., Logic for Problem Solving, Elsevier North-Holland, New York (1979).Google Scholar
  5. 5.
    Smullyan, R., First-Order Logic, Springer-Verlag, New York (1968).Google Scholar
  6. 6.
    Smullyan, R., To Mock a Mockingbird, Alfred A. Knopf, New York (1985).Google Scholar
  7. 7.
    Smullyan, R., What Is the Name of This Book?, Prentice-Hall, New York (1978).Google Scholar
  8. 8.
    Warren, D., ‘Implementing Prolog—Compiling predicate logic programs,’ DAI Research Reports 39 and 40, University of Edinburgh, Edinburgh (1977).Google Scholar
  9. 9.
    Wos, L., Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, N.J. (1987).Google Scholar
  10. 10.
    Wos, L., Overbeek, R., Lusk, E., and Boyle, J., Automated Reasoning: Introduction and Applications Prentice-Hall, Englewood Cliffs, N.J. (1984).Google Scholar

Copyright information

© Kluwer Academic Publishers 1990

Authors and Affiliations

  • Larry Wos
    • 1
  1. 1.Argonne National LaboratoryArgonneUSA

Personalised recommendations