¿Como se puede realizar el paso de parametros?

¿Cuales son los Ordenes de evaluación de parámetros?

¿Que es una variable ligada en lambda?

¿Que es una variable libre en lambda?

¿Cuando decimos que una expresión se encuentra en su forma normal?

¿Que es un problema?

¿Que es una búsqueda de grafo?

¿Cuales son las Dirección de la Búsqueda?

¿Cuales son los métodos de Búsquedas?

¿Que son las Proposiciones?

¿Que es deducción?

¿Que significa la sigla SLD?

¿Que es un enlace?

¿Que es alcanze?

¿Que es un parámetro formal?

¿Que es un parámetro actual?

¿Cuales son los niveles de polimorfismo?

¿Que es el encapsulamiento?

¿Que son los Procesador de lenguaje?

¿Que es un copilador?

¿Que es un interprete?

¿Que es Análisis Léxico?

¿Que es Análisis Sintáctico?

¿que es Regla de Resolución?

¿Que son las clausulas de Horm?

¿Que es sistema de tipos?

¿Que es un Unificador?

¿Cual es la diferencia entre sobrecarga y polimorfismo?

¿Que es sobrecarga?

¿Qué es el polimorfismo?

Captura de Variable

Equivalencia de expresiones

¿Que es Búsqueda?

¿Como se clasifica la sobrecarga?

¿que es conversiones de tipos?

¿Como se clasifica la conversión de tipos?

Alcance Estático

Control de Tipos Estático

Control de tipos Dinámico

¿Que es mundo cerrado?

¿Cuales son los componentes de Sistemas de Producción?

¿Que es una Fórmulas Bien Formadas?

¿Que es la Completitud?

¿Que son los valores?

¿Que son los tipos de datos?

¿Que es un paradigma?

¿Que es un paradigma de programación?