"Languages such as Prolog [?] and ML [?] are now used for a wide range ofindustrial applications and have resulted in dramatic reductions in the total e???ortrequired to design, implement and maintain applications." . . . . .