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