programación lógica
Sign in to saveAlso known as use logic programming
programming paradigm based on formal logic
Wikidata facts
Show 2 more facts
- Stack Exchange tag
- stackoverflow.com/tags/logic-programming
- Commons category
- Logic programming
Sources (3)
via Wikidata · CC0
Article · Español
La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Artificial intelligence
Concept
University of Edinburgh
Entity
Lisp
Entity
relational database
Entity
boolean satisfiability problem
Entity
concurrent computing
Entity
Horn clause
Entity
Oz
Entity
Fifth Generation Computer Systems
Entity
answer set programming
Entity
Inductive logic programming
Entity
John Alan Robinson
Entity
Planner
Entity
logic
Entity
Marseille
Entity
International Standard Book Number
Entity
database
Entity
computer program
Entity
Wayback Machine
Entity
Massachusetts Institute of Technology
Entity