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].