Simple constraints in Logos are working. My implementation takes the XSB approach by putting simple constraint information directly onto the logic variable. The implementation also avoids any constraint checking if you never declare a constraint in your program. Even if you do, for simple constraints there is hardly any overhead. Of course this is the (relatively) easy part. I'm tackling complex constraints now.