LOGIC PROGRAMMING in Portuguese translation

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

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

commonly in the form of Horn clauses used in logic programming.
comumente na forma de cláusulas de Horn usado em lógica de programação.

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.

Analog hardware, Logic Programming, Circuit Board
Hardware digital e analógico, programação de circuitos lógicos, desenho mecânico

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.

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;

SWI Prolog Portable is a general purpose logic programming language often used for artificial intelligence and computational….
SWI Prolog portátil é uma linguagem de programação lógica de propósito geral, muitas vezes usado para a inteligência artificial e lingüística….

leading to a general framework for embedding constraints into a logic programming language.
levando a incorporação de um conjunto de restrições em linguagens de programação lógica.

Ordered choice is analogous to soft cut operators available in some logic programming languages.
Escolha ordenada é análoga aos operadores de corte macio disponíveis em algumas linguagens de programação lógica.

In both cases, the existing approaches require of the programmer a extensive knowledge of logic and logic programming.
Em ambos os casos as abordagens existentes requerem do programador vasto conhecimento de lógica e de programação lógica.

I opened this site as a contribution to the evolving area of logic programming languages and PROLOG in particular.
Eu abri este site como uma contribuição para a área em evolução das linguagens de programação lógica e do PROLOG em particular.

gave impetus to the development of a general purpose logic programming system.
Kowalski(1974), impulsionaram o desenvolvimento de um sistema de programação lógica de uso geral.

Some early designs of logic programming languages based on linear logic include LO,
Alguns projetos iniciais das linguagens de programação lógica baseadas na lógica linear, incluem LO, Lolli,

The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991.
O termo Programação em lógica indutiva foi introduzido pela primeira vez em um artigo publicado por Stephen Muggleton, em 1991.

In linear logic programming, one can use the ambient linear logic to support state change.
Na programação lógica linear, pode-se usar a lógica linear como ambiente para dar suporte à mudança de estado.

which is used to give a semantics to logic programming with negation as failure,
que é usada para dar semântica à programação lógica com negação por falha,

Several researchers have extended logic programming with higher-order programming features derived from higher-order logic, such as predicate variables.
Diversos pesquisadores estenderam a programação lógica com as características da programação de ordem superior derivadas da lógica de ordem superior, tais como variáveis de predicado.

Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog.
Negação por falha é uma importante caracterísitca da programação em lógica desde seu uso inicial em linguagens de programação como Planner e Prolog.

Muggleton also founded the annual international conference on Inductive Logic Programming, introduced the theoretical ideas of Predicate Invention,
Muggleton também fundou a conferência internacional sobre Programação em lógica indutiva, introduziu as idéias teóricas de Invenção de Predicado,

The concept of unification is one of the main ideas behind logic programming, best known through the language Prolog.
O conceito de unificação é uma das principais ideias por trás da programação em lógica, mais conhecida por pela linguagem Prolog.

Datalog is a truly declarative logic programming language that syntactically is a subset of Prolog.
A Datalog é uma linguagem de consulta não procedural baseada na linguagem de programação lógica Prolog.