In France, Paris companies Migration SA and Synchronix Diffusion SA have signed an agreement to convert Prolog-based accounting and administration software for IBM’s RS/6000 system. Migration, which specialises in moving proprietary applications over to Unix, will use the C-based Bal/Abal language and a compiler called ABC – which incorporates Prolog decoders – from two-year-old Synchronix. Migration and Synchronix have already struck reseller deals with IBM to offer these services Synchronix reckons that it takes only around 48 hours to adapt an application to the RS/6000. One-year-old Migration, a subsidiary of the Ares & Genover group turned over the equivalent of $600,000 in its first year, and is looking to do $5m in 1991. ABC is distributed by AID GmbH in Germany, by M SOFT SpA in Italy, and Synchronix will says it will sign Spanish outlets later this year.