A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
Distribution of the number of citations over years.