PROLOG

PROLOG

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

Resource summary

	Created by Félix Lc over 9 years ago