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

Resumo de Recurso

	Criado por Félix Lc quase 10 anos atrás