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