area combining logic programming learning probability given rise new field statistical relational learning probabilistic inductive logic programming higher order logic programming several researchers extended logic programming higher order programming features derived higher order logic predicate variables languages include prolog extensions hilog prolog linear logic programming basing logic programming within linear logic resulted design logic programming languages considerably expressive based classical logic horn clause programs represent state change change arguments predicates
Formal science Computer science Logic in computer science Logic programming