Zusammenfassung der Ressource
PROLOG
- Implementaciones
- SICStus Prolog
- SWI-Prolog
- Sintaxis
- Términos
- Constantes
- Números
- Base decimal
- Base no decimal
- Reales
- Átomos
- Cadenas
- Letras, digitos y símbolos
- Variables
- Cadenas
- Términos compuesto
- Functor
- Programas
- Cláusula de Horn positiva
- Hechos y reglas
- Consultas para la activación
- Cláusula de Horn negativa
- Aritmética
- Operadores aritméticos
- Predicados aritméticos
- Programas aritméticos
- Sencillos
- Versátiles
- Entrada/Salida
- Control: el corte
- Definición y propiedades
- Usos del corte
- Semántica
- Unificación
- Función de selección
- Regla de ordenación
- Estrategía de búsqueda