> coolproject('prolog-notebooks').

yes

> coolproject(X)

This rule means that everything is a cool project.