ulkb.Theory.lookup_constant# Theory.lookup_constant(arg, default=<class 'ulkb.util.Nil'>)[source]# Searches for constant. If default is given, returns it instead of raising an exception. Parameters: arg – Id or Constant. default – Value. Returns: Constant. Raises: LookupError – arg not in theory. See also lookup_constant().