また、"chip"(constraint handling in prolog)や"cal"など多くの制約論理プログラミング言語が開発された。