Logic programming

Logic programming uses mathematical logic to write computer programs. A logic programming language consists of a set of rules and facts. The most important logic program languages are Prolog, ASP and Datalog.

en_USEnglish