logic programming oor Spaans

logic programming

naamwoord
en
Programming with a paradigm that bases on formal logic

Vertalings in die woordeboek Engels - Spaans

programación lógica

vroulike
en
programming paradigm based on formal logic
The areas include methods for knowledge-base design, distributed knowledge-base systems, logic programming and parallelism and advanced pattern recognition.
- paralelismo y distribución en los sistemas de programación lógica ,
omegawiki

programación con lógica

en
The use of mathematical logic for computer programming.
es
El uso de la lógica matemática para la programación de computadoras.
omegawiki

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
Voorbeelde moet herlaai word.
But also with functional programming or even logic programming.
Nena me equivoque.-¿ Que estas haciendo?QED QED
Would you need any special modifications to the logic programming system for this to work?
Vista la recomendación para la segunda lectura de la Comisión de Cultura y Educación (ALiterature Literature
Finally, we will look at the close connection between logic programming and constraint satisfaction problems.
Estaban siguiendo a la resistenciaLiterature Literature
There are a number of textbooks on logic programming and Prolog.
Necesitas sustentoLiterature Literature
“Now for the logic-versus-logic program.
¿ Ha pagado algo para eso?Literature Literature
Das (1992) is a comprehensive book on deductive databases and logic programming.
Mamá, lo sientoLiterature Literature
Prolog: a general purpose logic programming language.
La diferencia esencial entre los dos métodos no reside en el beneficio para los trabajadores, sino en el reparto de la carga financiera de las prestaciones entre los diferentes Estados en los que el trabajador haya ejercido una actividad que haya dado lugar a la apertura de derechos a su favorWikiMatrix WikiMatrix
Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm.
¿ No habrás preparado un encuentro entre ella y el señor Wayne?WikiMatrix WikiMatrix
In logic programming, a program consists of a set of axioms and rules.
Rosita Coto bailandoWikiMatrix WikiMatrix
It is in this context that logic programming (see Section 6.7) often proves beneficial.
Harry no haría estoLiterature Literature
Much of the theoretical background for logic programming was developed by Kowalski, worhng with Colmerauer.
Déjame en pazLiterature Literature
Such strategies are used, for example, in concurrent logic programming.
¡ Nos vamos, Larry!WikiMatrix WikiMatrix
Logic programming per se evolved independently of this effort.
Me importa un carajo ser informanteLiterature Literature
Dahl, V. [1984] “Logic Programming for Constructive Database Systems,” in EDS [1984].
Aun estamos liderando el mercadoLiterature Literature
And there is a lesser known one called logic programming.
Tipo de producto (anexo IIQED QED
Such languages are called logic programming languages.
Siempre lo hacíaLiterature Literature
Figure 11-37 illustrates the concept of a hard core surrounded by configurable logic programmed by the user.
Nos vemos, colegaLiterature Literature
Prolog, designed in 1972 by Colmerauer, Roussel, and Kowalski, was the first logic programming language.
¿ Cuál es el objetivo?WikiMatrix WikiMatrix
Logic Programming.
Lo sé, pero recuerda que es por su bienWikiMatrix WikiMatrix
Logic for Problem Solving (Kowalski, 1979b) is an early text on logic programming in general.
No entendiste en esos # años lo que esperaba de tiLiterature Literature
Command logic programed into the implant before launch was now taking over.
¿ Adónde vamos ahora?Literature Literature
Brains are processing devices with logical programs.
Las entidades o poderes adjudicadores deben pedir, en su caso, a los candidatos/licitadores los documentos pertinentes y, cuando alberguen dudas sobre la situación personal de dichos candidatos/licitadores, pueden solicitar la cooperación de las autoridades competentes del Estado miembro de que se trateLiterature Literature
Logic programming systems, described in Chapter 9, also make this assumption.
Abu Rusdan [alias: a) Abu Thorik, b) Rusdjan, c) Rusjan, d) Rusydan, e) Thoriquddin, f) Thoriquiddin, g) Thoriquidin, h) Toriquddin]Literature Literature
Muggleton (2000) describes an extension of PROGOL to handle uncertainty in the form of stochastic logic programs.
Eres todo un caballeroLiterature Literature
Constraint logic programming (CLP) allows variables to be constrained rather than bound.
¿ Quieres follarme?Literature Literature
2943 sinne gevind in 21 ms. Hulle kom uit baie bronne en word nie nagegaan nie.