Visual Prolog

Versi 7.0 membawa serta fitur polimorfisme parametrik.