Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!scramble.lm.com!news.math.psu.edu!ra.nrl.navy.mil!hookup!lll-winken.llnl.gov!enews.sgi.com!sgigate.sgi.com!swrinde!howland.reston.ans.net!blackbush.xlink.net!news.ecrc.de!ecrc!lyra!micha
From: micha@ecrc.de (Micha Meier)
Subject: Re: General Questions about Prolog and Logic P
Message-ID: <Dq1u5u.M39@ecrc.de>
Sender: news@ecrc.de
Reply-To: micha@ecrc.de
Organization: European Computer-Industry Research Centre
References: <DppFMx.41w@hpl.hp.com>
Date: Thu, 18 Apr 1996 08:27:30 GMT
Lines: 18

In article 41w@hpl.hp.com, allen@hpl.hp.com (Richard C. Allen) writes:
>I am interested is using a computer language to "solve" the logic
>problems usually found in CrossWord puzzlie books. (A mimimun
>statement of facts, a truth table, one isto complete the truth table.
..
>
>Questions:
>1) Is Prolog capable of solving these type of problems?
>2) If so, is there any good discussions/books/sample codes which
>demonstrate how to use Prolog with this type of problem?

A very good candidate for this type of problems is constraint logic programming
over finite domains. This is an extension of Prolog and it allows you to specify
and solve the problam in a natural way. An example is e.g. in the eclipse
manual http://www.ecrc.de/eclipse/html/extroot/node59.html

--Micha

