Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje de programación lógico e interpretado usado habitualmente en el…17 kB (2187 palabras) - 20:37 24 nov 2023
- Oz es un lenguaje de programación multi-paradigma. Oz fue originalmente desarrollado en el laboratorio de Programación de Sistemas en la Universidad de…3 kB (368 palabras) - 14:55 6 ene 2024
- El Lenguaje de Comandos Guardados (GCL, Guarded Command Language), o de Órdenes Guardadas, es un modelo de lenguaje definido por Edsger Dijkstra para semántica…7 kB (1018 palabras) - 08:08 8 abr 2024
- Gödel es un lenguaje de programación declarativo, de propósito general, adherido al paradigma de la programación lógica. Es un lenguaje fuertemente tipado…3 kB (326 palabras) - 23:13 29 mar 2022
Curry[1] es un lenguaje experimental de programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional…1 kB (109 palabras) - 03:41 17 jul 2023- Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite…17 kB (2215 palabras) - 23:16 16 abr 2020
- micro-PROLOG es el nombre de una variante o dialecto del lenguaje PROLOG, inicialmente creada para microordenadores de 8 bits, popularizada a principios…16 kB (1822 palabras) - 12:01 23 ene 2024
- 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…2 kB (100 palabras) - 22:14 14 sep 2019
- Fril es un lenguaje de programación para el cálculo de predicados de primer orden. Trabaja con un subconjunto de la semántica del lenguaje Prolog pero…6 kB (737 palabras) - 11:01 28 ene 2024
- El PARLOG (de PARallel LOGic) es un lenguaje de programación lógica similar al Prolog. La diferencia sustancial es que en parlog se define un encabezado…1 kB (110 palabras) - 14:26 18 sep 2019
