The DecPy library integrates lazy evaluation and three types of declarative programming into the Python:
- tuple calculus (analog of the SQL)
- domain calculus (analog of QBE)
- first-order predicate calculus (analog of Prolog, logic programming).
DecPy allows you to work with collections in Python as with databases or expert systems (including writing recursive queries and even proving theorems).