Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!newsfeed.internetmci.com!howland.reston.ans.net!vixen.cso.uiuc.edu!sdd.hp.com!col.hp.com!news.dtc.hp.com!hplntx!news
From: allen@hpl.hp.com (Richard C. Allen)
Subject: General Questions about Prolog and Logic Problems (truth Tables)
Sender: news@hpl.hp.com (HPLabs Usenet Login)
Message-ID: <DppFMx.41w@hpl.hp.com>
Date: Thu, 11 Apr 1996 15:43:15 GMT
Nntp-Posting-Host: hplrcav1.hpl.hp.com
Organization: Hewlett Packard
X-Newsreader: Forte Free Agent 1.0.82
Lines: 31

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.

Trival example
There are two marriied couples, we know their names and genders.
Find out who is married to whom.

Males: Joe and Bill, Females: Sue and Mary.

Fact: Joe is not married to Sue.

Then one fills out a truth table.)

Anyway, I was pointed to PROLOG as an canidate as the best language to
attack this type of problem. (I have never used Prolog, I have pulled
off the SWI-Prolog).

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?


Any help will be greatly appreciated.
Thanks

Richard C. Allen
richard_allen@hpl.hp.com


