Prototype of a new constraint-logic programming language in Racket