Still somewhat nuanced, but has been referred to for languages using logic and constraint based problem solving like Prolog.