FORMAL PROOF   TRACE   ANSWER

ASK

MISMATCHING BRACKETS

PROLOG STYLE
line( point(X1,Y1) , point(X2,Y2) )

PHP PROLOG
line ( point X1 Y1 ) ( point X2 Y2 )