Поведение сокращений отрицания

Question

Следующий код, как и ожидалось, выходы 123 из-за возвратов:

between(1,3,X), write(X), false. 

Это одна с отрезанных выходов 1, также, как и ожидалось:

between(1,3,X), write(X), !, false. 

Но это один выходы 123 на удивление:

between(1,3,X), write(X), not(!). 

not(!) оценивает значение false, поэтому в одном случае имеет смысл, что он отступает, но в то же время он должен быть разрезан и, следовательно, не имеет других возможностей для изучения.

То же самое происходит с \+ вместо not/1.

Почему сокращение не имеет никакого побочного эффекта при отрицании? Например, write/1 в not имеет тот же побочный эффект, что и в случае, когда он не находится в одном.

Answer 1

(\+)/1 это metacall встроенной и (ссылаясь на !/0 документов)

Меты призвание непрозрачно для разреза.

примеры, специально t4, иллюстрируют оперативное семантический