The graph below shows the total number of publications each year in Rewriting Logic and Its Applications in Programming Languages. References [1] Programming and symbolic computation in Maude .

Constraint logic programming is a declarative programming language paradigm that solves problems by enforcing constraints ... The Art of Prolog: Advanced Programming Techniques, 2nd ed. Cambridge: MIT ...