Tabla de contenidos
20 relaciones: Association for Computing Machinery, Clojure, Dart, Demostración automática de teoremas, Expresión (informática), Haskell, JavaScript, Lenguaje de programación, Lenguaje específico de dominio, MIT Press, Programación lógica, Python, Quine (programa), Racket (lenguaje de programación), Recorrido de árboles, Relación binaria, Ruby, Scala (lenguaje de programación), Scheme, Swift (lenguaje de programación).
Association for Computing Machinery
ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).
Ver MiniKanren y Association for Computing Machinery
Clojure
Clojure es un lenguaje de programación de propósito general dialecto de Lisp.
Dart
Dart (originalmente llamado Dash) es un lenguaje de programación de código abierto, desarrollado por Google.
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
Ver MiniKanren y Demostración automática de teoremas
Expresión (informática)
En programación, una expresión es una combinación de constantes, variables o funciones, que es interpretada de acuerdo a las normas particulares de precedencia y asociación para un lenguaje de programación en particular.
Ver MiniKanren y Expresión (informática)
Haskell
Haskell (pronunciado //) es un lenguaje de programación estandarizado multi-propósito, funcionalmente puro, con evaluación no estricta y memorizada, y fuerte tipificación estática.
JavaScript
JavaScript (abreviado comúnmente JS) es un lenguaje de programación interpretado, dialecto del estándar ECMAScript.
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.
Ver MiniKanren y Lenguaje de programación
Lenguaje específico de dominio
En desarrollo de software e ingeniería de dominio, un lenguaje específico de dominio, o "lenguaje específico del dominio", (en inglés domain-specific language, DSL) es un lenguaje de programación o especificación dedicado a resolver un problema en particular, representar un problema específico y proveer una técnica para solucionar una situación particular.
Ver MiniKanren y Lenguaje específico de dominio
MIT Press
MIT Press es una editorial universitaria afiliada a Instituto Tecnológico de Massachusetts (MIT).
Programación lógica
La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.
Ver MiniKanren y Programación lógica
Python
Python es un lenguaje de alto nivel de programación interpretado cuya filosofía hace hincapié en la legibilidad de su código, se utiliza para desarrollar aplicaciones de todo tipo, por ejemplo: Instagram, Netflix, Spotify, Panda3D, entre otros.
Quine (programa)
En programación, un quine (pronunciado "kwain") es un programa (un tipo de Metaprogramación) que produce su código fuente como su salida única.
Ver MiniKanren y Quine (programa)
Racket (lenguaje de programación)
Racket es un lenguaje de programación de amplio espectro de la familia de Lisp y Scheme.
Ver MiniKanren y Racket (lenguaje de programación)
Recorrido de árboles
En ciencias de la computación, el recorrido de árboles se refiere al proceso de visitar de una manera sistemática, exactamente una vez, cada nodo en una estructura de datos de árbol (examinando y/o actualizando los datos en los nodos).
Ver MiniKanren y Recorrido de árboles
Relación binaria
Una relación binaria R es el subconjunto de los elementos del producto cartesiano A_1 \times A_2 \ que cumplen una determinada condición.
Ver MiniKanren y Relación binaria
Ruby
Ruby es un lenguaje de programación interpretado, reflexivo y orientado a objetos, creado por el programador japonés Yukihiro "Matz" Matsumoto, quien comenzó a trabajar en Ruby en 1993, y lo presentó públicamente en 1995.
Scala (lenguaje de programación)
Scala es un lenguaje de programación multi-paradigma diseñado para expresar patrones comunes de programación en forma concisa, elegante y con tipos seguros.
Ver MiniKanren y Scala (lenguaje de programación)
Scheme
Scheme es un lenguaje de programación funcional (si bien impuro pues sus estructuras de datos no son inmutables) y un dialecto de Lisp.
Swift (lenguaje de programación)
Swift es un lenguaje de programación multiparadigma creado por Apple enfocado en el desarrollo de aplicaciones para iOS y macOS.