Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!att!cbnewse!mramesh
From: mramesh@cbnewse.ATT.COM (m.ramesh)
Newsgroups: comp.lang.prolog
Subject: prolog and theorem proving
Message-ID: <13884@cbnewse.ATT.COM>
Date: 28 Mar 90 16:41:49 GMT
Organization: AT&T Bell Laboratories
Lines: 20

I am trying to prove this theorem in prolog:

Given: line AC
Given: midpoint B

Given: AB = BC
Given: AC = AB + BC

Prove: AB = AC/2


Can somebody provide a skeleton or complete program in prolog to
achieve this?

In fact given the above two facts, I should be able to prove other cases
as well, for eg., AC=2AB, using the same program.

Thanks in advance

Ramesh, M, AT&T BELL LABS, Naperville, Il 60563