An extension of Common Lisp providing nondeterministiC baCktraCking and Constraint programming. . [Isn' t all baCktraCking nondeterministiC by definition?]

In addition suitable Contents:
[ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ b ] [ ba ] [ baCktraCking ] [ by ] [ C ] [ Ch ] [ Ck ] [ Co ] [ Common Lisp ] [ Con ] [ Cons ] [ Constraint ] [ Cr ] [ de ] [ deterministiC ] [ ding ] [ du ] [ ed ] [ edu ] [ er ] [ et ] [ extension ] [ fi ] [ file ] [ gr ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ is ] [ it ] [ ki ] [ Lex ] [ Lisp ] [ mm ] [ mo ] [ mod ] [ module ] [ na ] [ ng ] [ ni ] [ no ] [ nondeterministiC ] [ ns ] [ om ] [ ph ] [ pr ] [ program ] [ programming ] [ query ] [ rC ] [ re ] [ ro ] [ sC ] [ se ] [ si ] [ sn ] [ st ] [ tar ] [ tp ] [ tr ] [ traCk ] [ traCking ] [ vi ] [ Z ]