El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes.