- taylor_merged_contractor(+Constraints, -Contractor) is semidet
- Succeeds if a merged centre form contractor Contractor can be generated from each equality (
==
or =:=
) constraint in Constraints; otherwise fails.
- deprecated
- -
- use
taylor_contractor/2
instead