logic-based

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