gfx.nmo

gfx.nmo

C(32). % also try 16, 64

H(?x / 2) :- C(?x).

x(0).
x(?x + 1) :- x(?x), ?x + 1 < ?C, C(?C).

xy(?x - ?H, ?y - ?H) :- x(?x), x(?y), H(?H).

s(?x, ?y, ?c) :- xy(?x, ?y),
    ?c = ABS(SQRT(?x * ?x + ?y * ?y) - 625 * ?H / 1000) - 125 * ?H / 1000,
    H(?H).

f(?x, ?y, "@@") :- s(?x, ?y, ?c), ?c <= -2.
f(?x, ?y, "OO") :- s(?x, ?y, ?c), ?c <= -1, ?c > -2.
f(?x, ?y, "oo") :- s(?x, ?y, ?c), ?c <= 0, ?c > -1.
f(?x, ?y, "..") :- s(?x, ?y, ?c), ?c > 0, ?c <= 1.
f(?x, ?y, "  ") :- s(?x, ?y, ?c), ?c > 1.

fN(1, ?y, ?x, ?a) :- f(?y,?x,?a).
fN(?w * 2, ?y, ?x, CONCAT(?a, ?b)) :- fN(?w,?y,?x,?a), fN(?w,?y,?x + ?w,?b), ?w <= ?C, C(?C).

P(?y + ?H + 10, ?s) :- fN(?C, ?y, ?x, ?s), C(?C), H(?H).

@export P :- csv{resource = ""}.