Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.