What is the translation of " LOGIC PROGRAMMING " in Portuguese?

• lógica de programação
• de programação lógicas

Examples of using Logic programming in English and their translations into Portuguese

Logic Programming.
Programação em Lógica.

This is the basis for the logic programming paradigm.
Tal conceito é base para a programação lógica.

Logic programming languages such as Prolog.
Linguagens de programação lógica como Prolog.

Prolog: a general purpose logic programming language.
Prolog: uma linguagem de programação lógica de propósito geral.

They include logic programming languages such as Prolog as a special case.
Linguagens de programação lógica como Prolog.

It is based on the stable model(answer set) semantics of logic programming.
É baseado na semântica de modelo estável(conjunto de resposta) da programação em lógica.

Declarative or logic programming languages like Prolog.
Linguagens de programação lógicas ou declarativas como a Prolog.

Clark's key contributions have been in the field of logic programming.
A inteligência artificial teve uma influência importante no desenvolvimento da programação lógica.

By contrast, in logic programming you would enter these rules.
Por contraste, em programação lógica você deveria inserir estas regras;

CLP combines two declarative programming paradigms: logic programming and constraint solving.
CLP combina dois paradigmas de programação declarativas: programação lógica e resolver restrição.

Logic programming is a natural fit for data base querying;
A programação lógica é um companheiro natural para a pesquisa de banco de dados;

It is meant to be an introduction to logic programming and PROLOG for beginners.
Destina-se a ser uma introdução à programação lógica e PROLOG para iniciantes.

Other logic programming systems Other logic programming systems.
Other logic programming systems Outros sistemas de programação lógica.

Efficient solutions for hybrid Markov Decision Processes specified through probabilistic logic programming.
Soluções eficientes para Processos de Decisão Markovianos híbridos especificados com programação lógica probabilística.

The logic programming and its concepts are key points in courses related to computing.
A lógica de programação e seus conceitos são pontos-chave em cursos ligados à computação.

For some alternate conceptions of what constitutes an algorithm see functional programming and logic programming.
Concepções alternativas para algoritmos variam em programação funcional e programação lógica.

Inductive logic programming is a means of constructing theory that implies a condition.
Programação lógica por indução é um meio de construção de teoria que implica uma condição.

SLD resolution(Selective Linear Definite clause resolution) is the basic inference rule used in logic programming.
Resolução SLD(resolução Seletiva Linear para cláusula definida), é a regra de inferência básica usada em lógica de programação.

Logic programming is a programming paradigm based on formal logic..
Programação lógica é um paradigma de programação que faz uso da lógica matemática.

It was originally a database and logic programming bibliography site, and has existed at least since the 1980s.
Originalmente era um banco de dados e um site bibliográfico de programação lógica, e existe pelo menos desde a década de 1980.

This project aims at developing a serious game that challenges students into solving problems in logic programming.
Este trabalho foi elaborado com o objetivo de desenvolver um jogo sério para desafiar o aluno a resolver problemas de lógica de programação.

In logic programming languages, a team corresponds to a predicate and each robot to a clause.
Em linguagens de programação lógicas, uma equipa corresponde a um predicado e cada robot a uma cláusula.

The background knowledge is given as a logic theory B, commonly in the form of Horn clauses used in logic programming.
O conhecimento de background é dado como uma teoria lógica B, comumente na forma de cláusulas de Horn usado em lógica de programação.

I was with you on the logic programming example, but the functional one seems to me to be a bit of sleight-of-hand;
Eu concordava com você no exemplo de programação lógica, mas o funcional me parece ser um pouco falsário;

As a result, the constraint store can be considered an extension of the concept of substitution that is used in regular logic programming.
Assim como resultado, o armazém de restrições pode armazenar uma considerável extensão de conceitos de substições lógicas que é usada na lógica de programação regular.

Inductive logic programming is particularly useful in bioinformatics and natural language processing.
Programação em lógica indutiva é particularmente útil em bioinformática e processamento de linguagem natural.

This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics.
Esta é uma das várias abordagens para o significado da negação na lógica de programação, juntamente com a completude do programa e a semântica bem formada.

Inductive logic programming(ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples, background knowledge and hypotheses.
Programação em lógica indutiva(ILP) é uma subárea de aprendizado de máquina que utiliza lógica de programação como uma representação uniforme para exemplos, conhecimentos prévios e hipóteses.

From the development of algorithms there are the programming stages, in which a significant study of logic programming and algorithms plays a key role for the programmer.
A partir do desenvolvimento de algoritmos tem-se a etapa da programação, na qual um significante estudo da lógica de programação e de algoritmos desempenham papel fundamental para o programador.

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
Logtalk é uma linguagem de programação lógica orientada a objetos que pode usar a maioria das implementações do Prolog como um compilador de backend.