A non-procedural language that concentrates on precisely defining specifications rather than using detailed procedures is1) C2) PASCAL3) ADA4) PROLOG