github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-04-21 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
function_call
circ/examples/datalog/inv.pl
Alex Ozdemir 4ffa05fca6 Datalog (#26) 
Support a datalog variant.
2021-11-30 13:26:25 -08:00

2 lines
46 B
Prolog
Raw Permalink Blame History

main(X: field) :- exists I: field. X * I = 1.
Reference in New Issue View Git Blame Copy Permalink