prolog oor Spaans

prolog

naamwoord

A speech or section used as an introduction, especially to a play or novel.

Vertalings in die woordeboek Engels - Spaans

prólogo

naamwoord manlike

The machine code between the entry point for an assembly language routine and the code for its first executable statement. Prolog sets up the stack frame and preserves certain register values.

'After the prolog of Offensive Puppet,''we were prepared for the War Puppet.'
" Después del prólogo de la falsa ofensiva, estábamos maduros para la falsa guerra ".

prolog

This can be done using the --prolog and --epilog options to wml.
Esto se puede hacer usando las opciones de wml --prolog y --epilog.

Prolog

eienaam, naamwoord

(computing) A programming language developed in the 1970s for artificial intelligence and logic programming.

Vertalings in die woordeboek Engels - Spaans

PROLOG

This tool performs a number of program debugging, analysis and source-to-source transformation tasks on Prolog programs.
Estas herramientas realizan una serie de tareas de depuración de programas, análisis y transformación de fuente a fuente sobre programas en Prolog (programación lógica).

Prolog

This tool performs a number of program debugging, analysis and source-to-source transformation tasks on Prolog programs.
Estas herramientas realizan una serie de tareas de depuración de programas, análisis y transformación de fuente a fuente sobre programas en Prolog (programación lógica).

programación en lógica

PROLOG

Vertalings in die woordeboek Engels - Spaans

PROLOG

It resembles a simple expertsystem and uses artificial intelligence language (PROLOG) to converse with the user.
Parece un sencillo sistema experto y utiliza un lenguaje de inteligencia artificial (PROLOG) para dialogar con el usuario.

programación en lógica

Soortgelyke frases

GNU Prolog
GNU Prolog

voorbeelde

This tool performs a number of program debugging, analysis and source-to-source transformation tasks on Prolog programs.
Estas herramientas realizan una serie de tareas de depuración de programas, análisis y transformación de fuente a fuente sobre programas en Prolog (programación lógica).

The PROLOG team will gladly help you to explore Berlin. We offer day-trips, a culture programme, and regular social activities.
También nosotros, el equipo de PROLOG, le ayudamos con gusto a explorar Berlín a través de nuestras excursiones, nuestro programa cultural y nuestra "Stammtisch".

LEANTAP (Beckert and Posegga, 1995) is an efficient theorem prover implemented in only 25 lines of Prolog.
LEANTAP (Beckert y Posegga, 1995) es un demostrador de teoremas eficiente implementado tan sólo en 25 líneas de Prolog.

Prolog allows a form of negation called negation as failure.
El Prolog permite un tipo dc negación denominada negación por fallo.

Logic programming systems such as Prolog compute the consequences of the axioms and rules in order to answer a query.
Los sistemas de programación lógicos (como Prolog) calculan las consecuencias de los axiomas y las reglas organizadas para responder a una consulta.

It has a prolog with instructions, a steady state with Q T instructions, and an epilog of L - T instructions.
Tiene un prólogo con instrucciones, un estado estable con QT instrucciones, y un epílogo de L − T instrucciones.

In Prolog terms, there must be a finite number of solutions for any goal with unbound variables.
En términos de Prolog, debe haber un número finito de soluciones para cada objetivo con las variables desligadas.

Therefore, systems based on functional languages such as Lisp need to include a subsystem to represent logical assertions, while logic-oriented systems such as those using the language Prolog generally rely on an extension of the built-in logical representation framework.
Por tanto, los sistemas basados en lenguajes funcionales como Lisp necesitan incluir un subsistema para representar aserciones lógicas, mientras que los sistemas orientados a la lógica como aquellos que usan el lenguaje Prolog generalmente caen en una extensión del framework de representación lógica built-in. La administración del contexto en CLN puede presentar grandes retos.

For the same reason, they are excluded from Prolog.
Por la misma razón se les ha excluido de Prolog.

Aside from the uncertainty-management features of Fril, there are some minor differences in Fril's implementation of standard Prolog features.
Aparte de la gestión de lógica difusa, característica de Fril, hay algunas diferencias de menor importancia en la aplicación a Fril de características estándar de Prolog.

This can be done using the --prolog and --epilog options to wml.
Esto se puede hacer usando las opciones de wml --prolog y --epilog.

There are a number of textbooks on logic programming and Prolog.
Hay un buen número de libros acerca de la programación lógica y el Prolog.

Moreover, Logic is sometimes used not just by users in communicating with computer systems, but by software engineers in building those systems, using languages like Prolog, illustrated here, and a programming methodology known as " Logic Programming. "
Piense, por ejemplo, sobre los lectores de correo electrónico que permiten a los usuarios escribir por los ingenieros de software en la construcción de esos sistemas, utilizando como, lenguajes como reglas para gestionar los mensajes entrantes de correo electrónico, la supresión de algunos, mover a otros a diversos

We will return to this subject after looking at how Prolog is implemented.
Volverernos a este tema más tarde. al ver cómo se implementó el Prolog.

Note that Prolog can find the solution X 5 b1 by merely searching the original set of given facts.
Observe que Prolog puede encontrar la solución X D b1 simplemente buscando en el conjunto original de hechos dados.

Van Emden and Kowalski (1976) show that every Prolog program without negation has a unique minimal model.
Van Emden y Kowalski (1976) muestran que cualquier programa Prolog sin la negación tiene un modelo mínimo único.

Prolog uses a sequential, last-in-first-out, backtracking strategy, in which only one alternative and one sub-goal is considered at a time.
Prolog es un lenguaje de programación que usa una secuencia, último en entrar primero en salir, para una estrategia de agrietamiento, en la cual la alternativa y el objetivo son considerados a la vez.

He debutated as a writer with Mort de dama (1931) (The death of a Lady), prologized by Gabriel Alomar, supposing a colossal entry in the literary world.
Hacia 1925 descubre la obra de Marcel Proust, un hecho de importancia capital en el desarrollo de su novelística.

Chat-80 transformed English questions into Prolog expressions, which were evaluated against the Prolog database.
Chat-80, transforma preguntas en inglés en expresiones Prolog, las cuales fueron evaluados en relación con la base de datos Prolog.

Third-party programming language bindings available for RocksDB include: C# D Elixir Erlang Go Haskell Java Node.js Objective-C, and Swift OCaml Perl PHP Prolog Python Ruby Rust "Performance Benchmarks".
Los enlaces de lenguaje de terceros disponibles para RocksDB incluyen: C# Erlang Go Haskell Node.js Objective-C, and Swift Perl PHP Python Ruby Rust «Performance Benchmarks».

The conventions used here are similar to those of Edinburgh Prolog.
Las convenciones que se usan en este libro son similares a las usadas por el Prolog de Edimburgo.

L EAN TA P (Beckert and Posegga, 1995) is an efficient theorem prover implemented in only 25 lines of Prolog.
LCANTAP (Beckert y Posegga, 1995) es un demostrador de teoremas eficiente implementado tan sólo en 25 líneas de Prolog.

Prolog: a general purpose logic programming language.
Prolog: un idioma de programación lógica de propósito general.

Whereas this is nothing special in itself, this particular engine is written in Standard Manipulation Language; which means that it can significantly outperform XSB Prolog.
Aunque esto no tiene nada de especial por sí solo, este motor en concreto está escrito en Standard Manipulation Language (lenguaje de manipulación de datos), lo cual significa que puede superar con creces al XSB Prolog

Arithmetic functions such as +, –, *, and / can be used as arguments in predicates in Prolog.
En Prolog pueden usarse las funciones aritméticas +, –, * y / como argumentos en los predicados.