Can I read Prolog y Lógica de Predicados on EtoBox?

Prolog y Lógica de Predicados by Samuel García is a document available to read on EtoBox.

What is Prolog y Lógica de Predicados about?

Prolog se basa fundamentalmente en la lógica de predicados, permitiendo expresar programas como hechos y reglas que describen relaciones. La inferencia en Prolog se realiza mediante la búsqueda de soluciones que satisfacen las reglas definidas por el usuario, usando principios lógicos como la unificación y el backtracking. Al utilizar cláusulas de Horn, Prolog proporciona un enfoque declarativo para resolver problemas lógicos.

Author

Samuel García

Language

ES