Support for inferencing using spin:rule and spin:constructor.