Minor sidenote: For Prolog-esk syntaxes, rather than writing "comma first" to solve the problem of moving lines around, I've found that ending predicates with a

Minor sidenote: For Prolog-esk syntaxes, rather than writing "comma first" to solve the problem of moving lines around, I've found that ending predicates with a simple `true.` solves it more elegantly.