mirror of
https://github.com/circify/circ.git
synced 2026-01-11 14:47:59 -05:00
2 lines
46 B
Prolog
2 lines
46 B
Prolog
main(X: field) :- exists I: field. X * I = 1.
|