logic programming

logic programming

n

(Computer Science) the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments

Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

Thesaurus

Noun	1.	logic programming - a computer language designed in Europe to support natural language processing logic programing, Prolog programing language, programming language - (computer science) a language designed for programming computers
	2.	logic programming - creating a program that enables the computer to reason logically logic programing computer programing, computer programming, programing, programming - creating a sequence of instructions to enable the computer to do something

Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.