Metadata
Author: WikiMatrix
Data
English[en]
Logic programming systems such as Prolog compute the consequences of the axioms and rules in order to answer a query.
Spanish[es]
Los sistemas de programación lógicos (como Prolog) calculan las consecuencias de los axiomas y las reglas organizadas para responder a una consulta.