logic-based

Related languages: Alma-0, Datalog, ROOP, Curry, Mercury, Flix, Visual Prolog