0000000000000000000000000000000000000000 55ea99138eb465f77f0ad764e90789622914b851 Douglas R Miles <logicmoo@gmail.com> 1663405123 -0700	WIP on swipl: f47d5c0 FIXED: Allow for ``#abducible -atom`` under embedding and make sure to remove the helper terms from the model.