use propagator_init_trigger to create, initialise and trigger a propagator
use propagator_init_trigger to create, initialise and trigger a propagator

mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel