logic programming
(redirected from Logic program)

Also found in: Encyclopedia, Wikipedia

0.01 sec.

logic programming

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

ThesaurusLegend: Synonyms Related Words Antonyms

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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback
Add definition

Mentioned in	?		References in periodicals archive	?		Dictionary browser	?		Full browser	?
computer computer programing computer programming logic programing programing programing language programming programming language Prolog			Further, Bayesian networks are upgraded to Bayesian logic programs, hidden Markov models to logical hidden Markov models, and Markov decision process to Markov decision programs. An inductive logic programming approach to statistical relational ... by SciTech Book News			Loggan Loggat Logge Logged logger loggerhead loggerhead shrike loggerhead turtle Loggerheaded loggerheads loggia logginess logging logia logic logic array logic bomb logic cell logic circuit logic diagram logic element logic gate logic level logic operation logic operator Logic program logic programing logic programming logical logical argument logical atomism logical consequence logical constant logical diagram logical empiricism logical fallacy logical form logical implication Logical impossibility Logical induction logical operation logical operator logical positivism logical positivist logical proof logical quantifier logical relation logical sum logical system logical thinking logical topology			Logic Interface Control Evaluation System Logic level Logic level logic low Logic modeling Logic modeling Logic Modeling Corporation Logic modelling Logic modelling Logic Module Logic of Change, Change of Logic Logic of Classes Logic of Computer Operating System for the PDP7 Logic of Constraints logic of discursive argument Logic of mathematics Logic of mathematics Logic of mathematics Logic of mathematics Logic of Relations Logic of Science Logic of Science Logic of Science Logic of Science Logic of Science Logic one logic operation logic operation logic operator logic operator Logic program Logic Program Register Logic Program Theorem Prover logic programing logic programming logic programming logic programming Logic Programming and Artificial Intelligence Research Group Logic Programming and Intelligent Systems Logic Programming and Knowledge Representation Logic Programming and Non Monotonic Reasoning Logic Programming and Soft Computing Logic Programming in Knowledge Representation and Reasoning Logic programming language Logic programming language Logic Replacement Technology logic section logic sequencer Logic State Analyzer logic swing logic switch Logic synthesis Logic system Logic system Logic systems Logic systems Logic Theory Logic Trunked Radio logic unit logic variable

Dictionary, Thesaurus, and Translations

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.

logic programming (redirected from Logic program)

logic programming
(redirected from Logic program)