Commits

Carl Friedrich Bolz committed fc2fcd0

add a docstring

  • Participants
  • Parent commits 93f4d7d
  • Branches minimal-specialization

Comments (0)

Files changed (1)

File prolog/interpreter/term.py

         return self.copy_standardize_apart(heap, env)
 
     def unify_and_standardize_apart(self, other, heap, env):
+        """ standardize apart self, unifying it with other. self is an
+        immutable term that cannot contains normal variables, only
+        NumberedVars"""
         raise NotImplementedError("abstract base class")
-    
+
     def enumerate_vars(self, memo):
         raise NotImplementedError("abstract base class")