META-FORMS Prolog Project