SWI-Prolog
SWI-Prolog
Prolog oor Portugees
Prolog
en
(computing) A programming language developed in the 1970s for artificial intelligence and logic programming.
Vertalings in die woordeboek Engels - Portugees
Prolog
programação lógica
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
prolog
en
A speech or section used as an introduction, especially to a play or novel.
Vertalings in die woordeboek Engels - Portugees
prolog
prólogo
'After the prolog of Offensive Puppet,''we were prepared for the War Puppet.'
'Após o prólogo da Ofensiva Fantoche,''estávamos preparados para a Guerra Fantoche.'
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
PROLOG
Vertalings in die woordeboek Engels - Portugees
Geen vertalings nie
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
A larger example will show the potential of using Prolog in parsing.
Suponho que agora não poderemos ter sexoWikiMatrix WikiMatrix
Prolog code is reasonably easy to translate to WAM instructions which can be more efficiently interpreted.
Como se estivesse ausenteWikiMatrix WikiMatrix
In many modern Prolog dialects and in first-order logic, a variable cannot be unified with a term that contains it; this is the so-called occurs check.
As autoridades aduaneiras podem conceder ao devedor outras facilidades de pagamento distintas do diferimentoWikiMatrix WikiMatrix
In Prolog the infix operator :- is non-associative because constructs such as "a :- b :- c" constitute syntax errors.
Lista de espécies de peixes de profundidade, pelágicos e demersaisWikiMatrix WikiMatrix
In the Prolog syntactical convention a symbol starting with an upper case letter is a variable name; a symbol that starts with a lowercase letter is a function symbol; the comma is used as the logical and operator.
Meu pai nunca teve orgulho de mimWikiMatrix WikiMatrix
This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers.
Estavas demasiado ocupado a ter inveja da porra do teu próprio filhoWikiMatrix WikiMatrix
It is also related to the field of logic programming and the Prolog language.
A Eslovénia constitui um exemplo para a Eslováquia: ela foi a primeira dos países da UE-10 e o décimo terceiro país de todos os Estados-Membros da UE a introduzir o euro, em 2007.Literature Literature
Then, if the goal is obtained, Prolog reports these unifications.
O Efficib é um medicamento que contém duas substâncias activas, sitagliptina e cloridrato de metforminaLiterature Literature
Prologic prog' s bad.So I had to build a new one
Dawson, escutaopensubtitles2 opensubtitles2
Comprehensive ASM specifications of programming languages (including Prolog, C, and Java) and design languages (UML and SDL) have been developed.
Também encontrei algoWikiMatrix WikiMatrix
A Prolog system contains a number of built-in predicates that the system can interpret directly.
Um teste psicológicoLiterature Literature
Default logic Logic programming Non-monotonic logic Prolog Stable model semantics Baral, Chitta (2003).
Vinte segundos!WikiMatrix WikiMatrix
In Prolog, each rule corresponds to a subroutine, and its antecedents are the subroutines it calls.
É contagioso?Literature Literature
His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language.
Se, por força de uma obrigação extracontratual, uma pessoa (o credor), tiver direitos relativamente a outra pessoa (o devedor), e um terceiro tenha a obrigação de satisfazer o direito do credor, ou tiver efectivamente satisfeito o credor em cumprimento dessa obrigação, a lei que rege esta obrigação do terceiro determina se e em que medida este pode exercer os direitos do credor contra o devedor, segundo a lei que rege as suas relaçõesWikiMatrix WikiMatrix
The first Prolog program, also written in 1972 and implemented in Marseille, was a French question-answering system.
Quer dizer, ela quer que tu te esforçes maisWikiMatrix WikiMatrix
The prolog must at least specify the version of XML in use (which is currently 1.0).
Ele sempre arruma serviçoLiterature Literature
Items in a Prolog database take on one of two forms, known in Prolog as facts and rules.
Ele tinha alguémLiterature Literature
Shapiro built their first implementation (Model Inference System) in 1981: a Prolog program that inductively inferred logic programs from positive and negative examples.
Aquela vadia armou pra cima de mimWikiMatrix WikiMatrix
A Prolog rule is an “implies” statement.
Adeus CharlesLiterature Literature
The rule of inference used by Prolog is called resolution.
Mostrando meus músculos de ator, por assim dizerLiterature Literature
If we think of the stable model semantics as a description of the behavior of Prolog in the presence of negation then programs without a unique stable model can be judged unsatisfactory: they do not provide an unambiguous specification for Prolog-style query answering.
Você tem tudoWikiMatrix WikiMatrix
Pure Prolog was originally restricted to the use of a resolution theorem prover with Horn clauses of the form: H :- B1, ..., Bn.
Farão uma cerimônia amanhã.Onde?WikiMatrix WikiMatrix
The features used to achieve Turing completeness can be quite different; Fortran systems would use loop constructs or possibly even goto statements to achieve repetition; Haskell and Prolog, lacking looping almost entirely, would use recursion.
Isso foi tão cafonaWikiMatrix WikiMatrix
(Prolog rules, however, are just another kind of fact and should not be confused with a rule of inference.)
Boston Rob indo para a última trave da ChaperaLiterature Literature
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set.
A escolha final dos beneficiários será feita pela Presidência, assistida pelo Secretário-Geral/Alto Representante, por intermédio do seu Representante Pessoal para a Não Proliferação de Armas de Destruição Maciça, sob proposta da entidade responsável pela execução, nos termos do n.o # do artigo #.o da presente acção comumWikiMatrix WikiMatrix
206 sinne gevind in 10 ms. Hulle kom uit baie bronne en word nie nagegaan nie.