Answer set solving in practice, operational characterization, fitting operator

This video is all about an operator due to Melvin Fitting, and how it is derived from program completion