Source : WordNet®

predicate calculus
     n : a system of symbolic logic that represents individuals and
         predicates and quantification over individuals (as well
         as the relations between propositions) [syn: {functional
         calculus}]

Source : Free On-Line Dictionary of Computing

predicate calculus
     
        {predicate logic}