-
1 Programming In Logic
1) Information technology: PROLOG (See HLL; Programming Language)2) File extension: PROLOG (Programming Language)Универсальный русско-английский словарь > Programming In Logic
-
2 Programming in Logic
1) Information technology: PROLOG (See HLL; Programming Language)2) File extension: PROLOG (Programming Language)Универсальный русско-английский словарь > Programming in Logic
-
3 Logic Of Object Oriented Programming
Software: LOOPУниверсальный русско-английский словарь > Logic Of Object Oriented Programming
-
4 Logic Programming and Automated Reasoning
File extension: LPARУниверсальный русско-английский словарь > Logic Programming and Automated Reasoning
-
5 Logic for Programming, Artificial intelligence and Reasoning
Information technology: (conference on) LPAR (AI, conference)Универсальный русско-английский словарь > Logic for Programming, Artificial intelligence and Reasoning
-
6 Basic Logic
Programming: BL -
7 Null Value Logic
Programming: NVL -
8 (conference on) Logic for Programming, Artificial intelligence and Reasoning
Information technology: LPAR (AI, conference)Универсальный русско-английский словарь > (conference on) Logic for Programming, Artificial intelligence and Reasoning
-
9 (european) Inductive Logic Programming scientific NETwork
Information technology: ILPNETУниверсальный русско-английский словарь > (european) Inductive Logic Programming scientific NETwork
-
10 11th Workshop on Logic Programming Environments
Abbreviation: WLPE 11Универсальный русско-английский словарь > 11th Workshop on Logic Programming Environments
-
11 Constraint Logic Programming
File extension: CLPУниверсальный русско-английский словарь > Constraint Logic Programming
-
12 DataBase and Logic Programming
Computers: DBLPУниверсальный русско-английский словарь > DataBase and Logic Programming
-
13 Equational Logic Programming
Универсальный русско-английский словарь > Equational Logic Programming
-
14 Lax Logic Programming
Mass media: LLPУниверсальный русско-английский словарь > Lax Logic Programming
-
15 Linear Logic Programming
Law: LLPУниверсальный русско-английский словарь > Linear Logic Programming
-
16 North American Conference on Logic Programming
Универсальный русско-английский словарь > North American Conference on Logic Programming
-
17 Symposium on Logic Programming
Information technology: SLP (Conference)Универсальный русско-английский словарь > Symposium on Logic Programming
-
18 Workshop on Functional and (Constraint) Logic Programming
Abbreviation: WFLPУниверсальный русско-английский словарь > Workshop on Functional and (Constraint) Logic Programming
-
19 Workshop on Logic Programming Environments
Abbreviation: WLPEУниверсальный русско-английский словарь > Workshop on Logic Programming Environments
-
20 field programming logic array
Information technology: FPLAУниверсальный русско-английский словарь > field programming logic array
См. также в других словарях:
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Logic error — In computer programming, a logic error (sometimes called a semantic error) is a bug in a program that causes it to operate incorrectly, but not to terminate abnormally (or crash). A logic error produces unintended or undesired output or other… … Wikipedia
Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu … Wikipedia
Programming in the large and programming in the small — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… … Wikipedia
logic — lo‧gic [ˈlɒdʒɪk ǁ ˈlɑː ] noun [uncountable] 1. COMMERCE commercial/economic/industrial logic a way of thinking and making good judgements that is connected to a particular area of business, the economy etc: • Their takeover bid appears to have… … Financial and business terms
Programming style — is a set of rules or guidelines used when writing the source code for a computer program. It is often claimed that following a particular programming style will help programmers to read and understand source code conforming to the style, and help … Wikipedia
Logic Programming Associates — is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN PROLOG. External links* [http://www.lpa.co.uk/ind pro.htm LPA home page] *… … Wikipedia