Native Prolog compiler with constraint solving over finite domains (FD)
