This appendix provides a description of the Prolog predicates to communicate with PCE. Most of these predicates have been introduced informally in the previous sections.