Objects and Polymorphism

From wiki.visual-prolog.com