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

4 lines
116 B
Prolog

main(X: public field[2], Y: public field[2], Z: public field[2]) :-
X[0] * Y[0] = Z[0],
X[1] * Y[1] = Z[1].