Ethiopian multiplication: Difference between revisions
Content added Content deleted
m (→{{header|CHR}}) |
|||
Line 659: | Line 659: | ||
:- use_module(library(chr)). |
:- use_module(library(chr)). |
||
:- chr_constraint |
:- chr_constraint mul/3, halve/2, double/2, even/1, add_odd/4. |
||
mul(1, Y, S) <=> S = Y. |
mul(1, Y, S) <=> S = Y. |