diff --git a/libpyclingo/clingo/control.py b/libpyclingo/clingo/control.py index c58642711..66cfea160 100644 --- a/libpyclingo/clingo/control.py +++ b/libpyclingo/clingo/control.py @@ -379,6 +379,16 @@ def replace_project(self, atoms: Sequence[Union[Symbol, int]]) -> None: """ self._update_project(atoms, append=False) + def remove_project(self) -> None: + """ + Remove all projection atoms. + + See Also + -------- + Control.add_project + """ + self._update_project([], append=False) + def assign_external( self, external: Union[Symbol, int], truth: Optional[bool] ) -> None: