Anonymous user
ConceptBase: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 12:
# Recursive function definitions: this allows to define functions like the Ackermann function
# Active rules: other than Datalog rules, active rules change the state of the database (or memory)
The result is a Turing-complete language, which is rooted in Datalog but which no longer belongs to the Datalog family.
|