Unverified Commit 018f3649 authored by Kevin Lyda's avatar Kevin Lyda
Browse files

Remove debugging to fix.

parent 6b621d34

rules/source/rules.pdb

+0 −7
Original line number Diff line number Diff line
@@ -40,29 +40,22 @@ rat(g, mg, 1000). 
rat(g, kg, 0.001).



ratio(X, Y, Ratio) :-

  write("simple ratio "), write(X), write(" "), write(Y), nl,

  rat(X, Y, Ratio).

ratio(X, Y, Ratio) :-

  write("reverse ratio "), write(X), write(" "), write(Y), nl,

  rat(Y, X, Z), !, Ratio = 1/Z.

ratio(X, Y, Ratio) :-

  write("complex ratio 1 "), write(X), write(" "), write(Y), nl,

  X \== Y,

  rat(Step, _, _),

  Step \== X,

  Step \== Y,

  write("    trying step "), write(Step), nl,

  ratio(X, Step, R1),

  ratio(Step, Y, R2),

  Ratio = R1 * R2.

ratio(X, Y, Ratio) :-

  write("complex ratio 2 "), write(X), write(" "), write(Y), nl,

  X \== Y,

  rat(_, Step, _),

  Step \== X,

  Step \== Y,

  write("    trying step "), write(Step), nl,

  write("    trying step "), write(Step), nl,

  ratio(X, Step, R1),

  ratio(Step, Y, R2),

  Ratio = R1 * R2.