Visual Prolog

Visual Prolog is a multi-paradigm and logic programming language.

Paradigms: Logic and declarative, Functional, Object-oriented, Imperative, Metaprogramming and generic, Concurrent and distributed
Reference: Wikipedia article