(funcall fnc arg1 arg2 … argn) evaluates its arguments and then applies the value of fnc to the values of the args.
For instance, (funcall '+ 1 2 3) is the same as (+ 1 2 3).
The advantage of funcall is that we can write code in which we apply it to a variable that is bound to different functions on different occasions.
We will use it in connection with inference rules. E.g., in the previous example, (funcall 'GMP 'P2) returns (S Q).
| Previous slide | Next slide | Back to first slide | View graphic version |