tests/examples/true.ss
#lang planet jaymccarthy/datalog
true.
true?