Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!convex!franklin From: franklin@convex.com (Rick Franklin) Newsgroups: comp.lang.prolog Subject: Ignorant question about Logic and prolog Message-ID: Date: 11 Jun 91 20:34:35 GMT Sender: usenet@convex.com (news access account) Organization: CONVEX Computer Corporation, Richardson, Tx., USA Lines: 23 Nntp-Posting-Host: imagine.convex.com Is prolog an appropriate language to solve "logic" problems commonly found in crossword puzzle books? You know, the type that give clues like: 1). Fran bought her pet before Mrs. Snodgrass. 2) The cat was the last animal purchased. 3) John's pet was not a dog. 4) etc. etc, until just enough info is given to deterimine which pet goes with which human, how first and last names are related, or whatever other relations are to be solved. I am interested in feeding the data into some program to determine the answers, and also to determine the path of reasoning for the answers. Should I look into prolog? If so, how difficult would it be to write a program that could do this? Rick Franklin Convex Computer Corp franklin@convex.com