prolog and theorem proving

Article View: comp.lang.prolog

Article #615

#615

From: m.ramesh
Date: Wed, 28 Mar 1990 16:41

20 lines
769 bytes

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

Technical Details

Message-ID: <13884@cbnewse.ATT.COM>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!att!cbnewse!mramesh

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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