Date: Aug 18, 2013 6:15 PM Author: Graham Cooper Subject: Re: Can addition be defined in terms of multiplication? That should be a TIMES * X symbol!!

1 x [ n^ X ] [ n^ 0 ] [ n^ X ]

2 x [ n^ X ] [ n^ [ s Y ] ] [ n^ [ s Z ] ] :-

+ [ n^ X ] [ n^ Y ] [ n^ Z ]

3 + X Y Z :-

x [ n^ X ] [ n^ Y ] [ n^ Z ]

Its an equivalent algorithm to direct addition.

+ X [s Y] [s Z] :-

+ X Y Z

Herc

--

www.phpPROLOG.com