Declarative Computer Program

A Declarative Computer Program is a Computer Program that is composed of a set of logical statements that describe properties of the Application Domain.

• • …
• Example(s):
  • a Logic Computer Program.
  • a Functional Computer Program.
• See: Declarative Programming Language.

---