Construct a relation call constraint.
Macro: pfcall
(defmacro pfcall (name &rest args) (cons 'make-constraint-relation (cons ':name (cons name (cons ':args (cons (cons 'list args) 'nil))))))