C-c C-v C-t
> It is only because I do not understand how to "tangle the (prolog)
> code". I know the export function but I know nothing about tangle. Do
> not feel forced to answer. I know that I have to read the
> documentation first and I apologize.
>
or
M-x org-babel-tangle