Visual Prolog is a versatile programming language built upon the logical language Prolog, combining the best features of logical, functional, and object-oriented programming paradigms.

SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system