Declarative Expression

From GM-RKB
(Redirected from Declarative Semantics)
Jump to navigation Jump to search

A Declarative Expression is an expression statement whose expression meaning can be understood without appeal to an interpreter for manipulating those expressions (with declarative semantics).



References

2013

1988

  • (Przymusinski, 1988) ⇒ Teodor C. Przymusinski. (1988). “On the declarative semantics of deductive databases and logic programs." In Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc..