評価対象のリストの先頭要素がLisp関数オブジェクト、バイトコードオブジェクト、またはプリミティブ関数オブジェクトである場合、そのリストは関数呼び出しとなります。例えば、以下は関数+の呼び出しです：
(+ 1 x)
関数呼び出しを評価する際の最初のステップは、リストの残りの要素を左から右へと評価することです。その結果得られるのは、リストの各要素に対応する実引数の値です。次のステップは、この引数リストを用いて関数を呼び出すことであり、実質的に関数
apply を使用することになります（関数の呼び出しを参照）。関数がLispで記述されている場合、これらの引数は関数の引数変数の束縛に使用されます（ラムダ式を参照）。その後、関数本体内のフォームが順に評価され、最後の本体フォームの値が関数呼び出しの値となります。