logic programming

Found in Anh - Anh (Wordnet)

Definition Noun : 1. A paradigm of computer programming : A method of programming based on formal logic, where programs are expressed as sets of logical statements (facts and rules). The computer uses these statements to deduce answers to queries. 2. A specific computer language : Refers to a programming language, like Prolog, designed to implement the logic programming paradigm, particularly f...