[comp.lang.prolog] prolog and theorem proving

mramesh@cbnewse.ATT.COM (m.ramesh) (03/29/90)

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