mirror of
https://github.com/circify/circ.git
synced 2026-01-10 14:17:55 -05:00
4 lines
129 B
Prolog
4 lines
129 B
Prolog
main(X: field, Y: field, Z: u4) :- non_zero(X), non_zero(Y), to_field(Z) = Y.
|
|
|
|
non_zero(X: field) :- exists I: field. X * I = 1.
|