mirror of
https://github.com/circify/circ.git
synced 2026-04-21 03:00:54 -04:00
4 lines
89 B
Prolog
4 lines
89 B
Prolog
bad_nz(X: field) :- exists I: field. X * I = 1, bad_nz(I).
|
|
|
|
main(X: field) :- bad_nz(X).
|