DatalogZ
id:
datalogz-199-2642428
title:
DatalogZ
text:
DatalogZ is an extension of Datalog with integer arithmetic and comparisons. The decision problem of whether or not a given ground atom (fact) is entailed by a DatalogZ program is RE-complete, which can be shown by a reduction to diophantine equations.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/DatalogZ
date created:
date modified:
2023-08-14T07:01:12Z
main entity:
{"identifier":"Q117219474","url":"https://www.wikidata.org/entity/Q117219474"}
image:
fields total:
13
integrity:
13