Este documento presenta varios ejemplos de predicados y funciones en Prolog para resolver problemas matemáticos y lógicos como: elevar un número a un exponente, determinar si un número es par o impar, sumar números, hallar el máximo entre dos números, calcular el mcd de dos números, hallar el factorial y la serie de Fibonacci de un número, y modelar un menú con diferentes platos y sus calorías.