Tal como se planteó en la sintaxis una invocación de ejecución de un programa tendrá la forma:
<- A.
En la interpretación algorítmica dicha cláusula representa una invocación de procedimiento.
Un requerimiento de evaluación del programa del ejemplo sería:
<- CONCAT ( [a.[]] , [b.[]] , Z ).
La semántica de la activación de un procedimiento en un lenguaje estilo ALGOL, indica que una invocación es sustituída por el cuerpo del procedimiento, luego de haber realizado la transferencia de parámetros. En el caso de la programación en lógica el proceso es similar, salvo en lo que concierne a los parámetros. Éstos, debido al proceso de unificación visto en el capítulo anterior, forman parte del mecanismo de selección del procedimiento a activar. Aún cuando haya coincidencia de nombres entre el predicado de la invocación y el de la cabeza de una definición, si no existe unificación de argumentos, entonces el procedimiento es descartado. En caso que la unificación tenga éxito, se procede al reemplazo del predicado de la invocación por el cuerpo del predicado, y se aplica dicho unificador al conjunto de predicados que representan invocaciones pendientes.