40 relaciones: ABC (periódico), Alain Colmerauer, ALGOL, Borland, Bucle (programación), C (lenguaje de programación), Cláusula de Horn, Conjunción lógica, Conjunto de instrucciones, Disyunción lógica, Fortran, Francia, GNU Prolog, Google Libros, Idioma francés, Intérprete (informática), Inteligencia artificial, Java (lenguaje de programación), Kernel Language 1, Lenguaje de programación, Marsella, Máquina abstracta, Micro-PROLOG, Microcomputadora, Modus ponendo ponens, P Sharp, Paradigma, Pascal (lenguaje de programación), Periférico de entrada/salida, Philippe Roussel, Probador de teoremas lógicos, Programación declarativa, Programación distribuida, Programación lógica, Quinta generación de computadoras, Sintaxis, SWI-Prolog, Universidad de Provenza, Visual Prolog, Vuelta atrás.
ABC (periódico)
ABC es un diario español de tendencia conservadora.
¡Nuevo!!: Prolog y ABC (periódico) · Ver más »
Alain Colmerauer
Alain Colmerauer (Carcasona, - Marsella), ingeniero en computación y profesor universitario francés, fue uno de los creadores del lenguaje de programación Prolog.
¡Nuevo!!: Prolog y Alain Colmerauer · Ver más »
ALGOL
Se denomina ALGOL (o Algol) a un lenguaje de programación.
¡Nuevo!!: Prolog y ALGOL · Ver más »
Borland
Borland Software Corporation (anteriormente Borland International, Inc.) es una compañía de software, ubicada en Austin, Texas, Estados Unidos.
¡Nuevo!!: Prolog y Borland · Ver más »
Bucle (programación)
Un bucle o ciclo, en programación, es una secuencia de instrucciones de código que se ejecuta repetidas veces, hasta que la condición asignada a dicho bucle deja de cumplirse.
¡Nuevo!!: Prolog y Bucle (programación) · Ver más »
C (lenguaje de programación)
C es un lenguaje de programación de propósito general originalmente desarrollado por Dennis Ritchie entre 1969 y 1972 en los Laboratorios Bell, como evolución del anterior lenguaje B, a su vez basado en BCPL.
¡Nuevo!!: Prolog y C (lenguaje de programación) · Ver más »
Cláusula de Horn
En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo.
¡Nuevo!!: Prolog y Cláusula de Horn · Ver más »
Conjunción lógica
En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.
¡Nuevo!!: Prolog y Conjunción lógica · Ver más »
Conjunto de instrucciones
Un conjunto de instrucciones, repertorio de instrucciones, juego de instrucciones o ISA (del inglés instruction set architecture, «arquitectura del conjunto de instrucciones») es una especificación que detalla las instrucciones que una unidad central de procesamiento puede entender y ejecutar, o el conjunto de todos los comandos implementados por un diseño particular de una CPU.
¡Nuevo!!: Prolog y Conjunto de instrucciones · Ver más »
Disyunción lógica
En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
¡Nuevo!!: Prolog y Disyunción lógica · Ver más »
Fortran
Fortran (previamente FORTRAN, contracción del inglés The IBM Mathematical Formula Translating System) es un lenguaje de programación de alto nivel de propósito general, procedural e imperativo, que está especialmente adaptado al cálculo numérico y a la computación científica.
¡Nuevo!!: Prolog y Fortran · Ver más »
Francia
Francia (en francés: France), oficialmente la República Francesa (en francés: République française), es un país soberano transcontinental que se extiende por Europa Occidental y por regiones y territorios de ultramar en América y los océanos Atlántico, Pacífico e Índico.
¡Nuevo!!: Prolog y Francia · Ver más »
GNU Prolog
El GNU Prolog (también llamado gprolog) es un compilador con un ambiente interactivo de depuración para el lenguaje Prolog disponible para Unix, Windows y Mac OS X. También soporta algunas extensiones al Prolog incluyendo programación con restricciones sobre un dominio finito, parsing usando gramáticas cláusula definida, y una interface de sistema operativo.
¡Nuevo!!: Prolog y GNU Prolog · Ver más »
Google Libros
Google Libros (antes conocido como Google Book Search y Google Print) es un servicio de Google que busca el texto completo de los libros que Google digitaliza, convierte el texto por medio de reconocimiento óptico de caracteres y los almacena en su base de datos en línea.
¡Nuevo!!: Prolog y Google Libros · Ver más »
Idioma francés
El francés (le français o la langue française) es una lengua romance procedente del latín hablado.
¡Nuevo!!: Prolog e Idioma francés · Ver más »
Intérprete (informática)
En ciencias de la computación, intérprete o interpretador es un programa informático capaz de analizar y ejecutar otros programas.
¡Nuevo!!: Prolog e Intérprete (informática) · Ver más »
Inteligencia artificial
La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.
¡Nuevo!!: Prolog e Inteligencia artificial · Ver más »
Java (lenguaje de programación)
Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems.
¡Nuevo!!: Prolog y Java (lenguaje de programación) · Ver más »
Kernel Language 1
Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés de la quinta generación de computadoras en la década de 1980.
¡Nuevo!!: Prolog y Kernel Language 1 · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Prolog y Lenguaje de programación · Ver más »
Marsella
Marsella (Marseille,; en occitano (provenzal): Marselha o Marsiho) es una ciudad portuaria del sur de Francia, capital del departamento de Bocas del Ródano y de la región de Provenza-Alpes-Costa Azul.
¡Nuevo!!: Prolog y Marsella · Ver más »
Máquina abstracta
Una máquina abstracta, también llamada un computador abstracto, es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas.
¡Nuevo!!: Prolog y Máquina abstracta · Ver más »
Micro-PROLOG
micro-PROLOG es el nombre de una variante o dialecto del lenguaje PROLOG, inicialmente creada para microordenadores de 8 bits, popularizada a principios de la década de 1980.
¡Nuevo!!: Prolog y Micro-PROLOG · Ver más »
Microcomputadora
Una microcomputadora, un microcomputador o un microordenador es una computadora pequeña, con un microprocesador como su unidad central de procesamiento CPU.
¡Nuevo!!: Prolog y Microcomputadora · Ver más »
Modus ponendo ponens
El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.
¡Nuevo!!: Prolog y Modus ponendo ponens · Ver más »
P Sharp
El lenguaje de programación P# (o P Sharp) es un compilador de lenguaje Prolog concurrente que integra elementos del lenguaje C#, creado para desarrollar aplicaciones en la plataforma.NET de Microsoft.
¡Nuevo!!: Prolog y P Sharp · Ver más »
Paradigma
El concepto de paradigma es utilizado comúnmente como sinónimo de “ejemplo” o para hacer referencia a algo que se toma como “modelo".
¡Nuevo!!: Prolog y Paradigma · Ver más »
Pascal (lenguaje de programación)
Pascal es un lenguaje de programación creado por el profesor suizo Niklaus Wirth entre los años 1968 y 1969, y publicado en 1970.
¡Nuevo!!: Prolog y Pascal (lenguaje de programación) · Ver más »
Periférico de entrada/salida
En informática, un periférico de entrada/salida o E/S (en inglés: input/output o I/O) es aquel tipo de dispositivo periférico de un computador capaz de interactuar con los elementos externos a ese sistema de forma bidireccional, es decir, que permite tanto que sea ingresada información desde un sistema externo, como emitir información a partir de ese sistema.
¡Nuevo!!: Prolog y Periférico de entrada/salida · Ver más »
Philippe Roussel
Philippe Roussel (13 de mayo de 1945) es doctor en Informática y creador, junto con Alain Colmerauer del lenguaje de programación Prolog.
¡Nuevo!!: Prolog y Philippe Roussel · Ver más »
Probador de teoremas lógicos
Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas.
¡Nuevo!!: Prolog y Probador de teoremas lógicos · Ver más »
Programación declarativa
En ciencias de la computación se denomina programación declarativa a un paradigma de programación de software en el que no se detallan los pasos a seguir, sino solo el resultado deseado con cierto código fuente.
¡Nuevo!!: Prolog y Programación declarativa · Ver más »
Programación distribuida
La programación distribuida es un paradigma de programación enfocado en desarrollar sistemas distribuidos, abiertos, escalables, transparentes y tolerantes de fallos.
¡Nuevo!!: Prolog y Programación distribuida · Ver más »
Programación lógica
La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.
¡Nuevo!!: Prolog y Programación lógica · Ver más »
Quinta generación de computadoras
La quinta generación de computadoras, también conocida por sus siglas en inglés, FGCS (de Fifth Generation Computer Systems), fue un proyecto hecho por Japón que comenzó en 1981.
¡Nuevo!!: Prolog y Quinta generación de computadoras · Ver más »
Sintaxis
La sintaxis es la parte de la gramática que estudia las reglas y principios que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y las oraciones gramaticales.
¡Nuevo!!: Prolog y Sintaxis · Ver más »
SWI-Prolog
SWI-Prolog es una implementación en código abierto (en inglés, open source) del lenguaje de programación Prolog.
¡Nuevo!!: Prolog y SWI-Prolog · Ver más »
Universidad de Provenza
La Universidad de Provenza, de nombre completo Universidad de Provenza Aix-Marseille I (en francés: Université de Provence Aix-Marseille I), es una universidad localizada en Marsella y Aix-en-Provence, Francia.
¡Nuevo!!: Prolog y Universidad de Provenza · Ver más »
Visual Prolog
Turbo Prolog es un completo sistema de desarrollo de software que incluye un compilador y un entorno de desarrollo integrado (IDE) para el lenguaje de programación PROLOG, desarrollado por Borland, dentro de la familia de productos Turbo (Turbo C, Turbo Pascal, Turbo Assembler, Turbo Basic, etc).
¡Nuevo!!: Prolog y Visual Prolog · Ver más »
Vuelta atrás
Vuelta atrás (Backtracking) es una estrategia para encontrar soluciones a problemas que satisfacen restricciones.
¡Nuevo!!: Prolog y Vuelta atrás · Ver más »