From a254167db9dc6036ca4945422cbd41a4736332a7 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <rkaminsk@users.noreply.github.com>
Date: Mon, 2 Dec 2024 14:38:17 +0100
Subject: [PATCH] add function to remove projection atoms

---
 libpyclingo/clingo/control.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

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: