Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!att!cbnewse!mramesh
From: mramesh@cbnewse.ATT.COM (m.ramesh)
Newsgroups: comp.lang.prolog
Subject: prolog theorem proving
Message-ID: <13843@cbnewse.ATT.COM>
Date: 27 Mar 90 15:45:52 GMT
Distribution: na
Organization: AT&T Bell Laboratories
Lines: 14

I have just started using prolog (Turbo Prolog) on PC and I do like it.
I believe it does theorem proving.  Is it possible to prove geometry
theorems using prolog.  For eg.,  given that B is a mid-point of line AC,
prove that AB=AC/2, is it possible to write a program in prolog to do
such proofs, with a given set of postulates.

I might have mis-understood the meaning of theorem proving in prolog  but
I feel it can be done.  

Can someone help me out on this.

Thanks

*** Ramesh, AT&T Bell Labs, Naperville, IL