The current version of pack logtalk does not contain a file logtalk-3.57.0/examples/constraints/sicstus/smm.lgt
logtalk
logtalk-3.57.0/examples/constraints/sicstus/smm.lgt