logic programming

基本解釋

Write an application in a logic programming language
用邏輯編程語言寫一個應(yīng)用
Subsequently, the article will set out the general framework and the logic programming.
隨后，將闡述項目的方案與總體架構(gòu)，并介紹本項目的邏輯規(guī)劃。
A. At the very least, logic programming provides useful programming languages (mainly Prolog).
至少至少，邏輯編程提供了一種有用的編程語言。

They all use game play as a way to make the logic of computer programming accessible and relevant to kids in their formative years.
FORBES: Microsoft Launches 'Kodu' Game Design Challenge For Younger Kids
It is imperative that we educate our kids to understand the implications of this way of knowing, that we make the lens conscious while simultaneously equipping kids to use programming logic intelligently and responsibly.
FORBES: Microsoft Launches 'Kodu' Game Design Challenge For Younger Kids
In computing, the driver that determines how the engine is used is the character and elegance of the algorithms, not only the programming logic itself, but also the skill in creating that logic in the first place.
FORBES: IBM's Watson Jeopardy Stunt Unleashes a Third Great Cycle in Computing

the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments