4 ms·

coolproject('prolog-notebooks'). coolproject(X)

• ragebol 7y ago
  > coolproject('prolog-notebooks'). yes
• dependenttypes 7y ago
  > coolproject(X) This rule means that everything is a cool project.