datalog:p/1 and datalog:c/1 are pure functions that returns either data type. Existed implementation is mixed. Error returned as {error, ...} but success is not packages to either container.

datalog:c/1 exists.