Files
circ/examples/datalog/bits8.pl
Alex Ozdemir 4ffa05fca6 Datalog (#26)
Support a datalog variant.
2021-11-30 13:26:25 -08:00

2 lines
46 B
Prolog

has_bits(X: field, Y: u8) :- X = to_field(Y).