Las disyunciones (;) permiten establecer múltiples caminos para que un predicado sea verdadero, representando la lógica “o” de forma clara y directa. Las disyunciones son útiles cuando un objetivo puede alcanzarse a través de distintas condiciones o alternativas. Esto permite a Prolog ofrecer soluciones alternativas en escenarios donde hay varias respuestas válidas.

Este enfoque es fundamental en la resolución de problemas complejos en programación lógica, donde se exploran varias opciones de respuesta y Prolog puede encontrar todas las soluciones que cumplan las condiciones establecidas. A nivel práctico, la disyunción facilita la programación declarativa al expresar alternativas de solución dentro de las reglas del sistema.

Ejemplo breve:

puede_entrar(Persona) :- tiene_invitacion(Persona) ; es_vip(Persona).