PXL syntax is based on Prolog syntax. PXL programs are compiled to prolog terms, where they are interpreted by a Prolog interpreter
