Beispiel #1
0
 def get_module(self):
     """A `Module` object corresponding to this term, if it is an atom."""
     module = module_t()
     self._require_success_expecting_type(
         PL_get_module(self._handle, byref(module)),
         'atom')
     return Module._from_handle(module.value)
Beispiel #2
0
    def get_info(self):
        """Returns name, arity, and module of this predicate.

        Returns:
            Predicate.Info:
        """
        name = atom_t()
        arity = c_int()
        module = module_t()
        PL_predicate_info(self._handle,
                          byref(name), byref(arity), byref(module))
        return self.Info(name=Atom._from_handle(name.value),
                         arity=arity.value,
                         module=Module._from_handle(module.value))