Side
An interface representing a manager for flow modifications that can occur to Prolog resolution process
Author
Enrico
Functions
Link copied to clipboard
A function to execute cut, and return a new SideEffectManager with executed cut