Question

in the method of derivation involving predicate calculus rule T is used______​

Answer 1

Answer:

Predicate calculus gives the underpinnings to the languages of logic programming, such as Prolog. Predicate calculus is increasingly used for specifying the requirements of computer applications.