The circus is the conversion into List Prolog.