The application of mathematical logic in order to represent computer programs is also a feature in the lambda calculus, put together by Alonzo Church inside 1930s. Logic programming is a programming paradigm based on formal logic. A program written within a logic programming language is a couple of sentences in reasonable form, expressing facts and rules concerning some problem area. Major logic programming language families contain Prolog, Answer arranged programming and Datalog.
Logic Programming
