Logic programming for Scheme Spheres