D/als////
D/amzi////
D/b////
D/bin////
D/ciao////
D/eclipse////
D/gprolog////
D/ifprolog////
D/k////
D/qp////
D/quintus////
D/sicstus////
D/swi////
D/xsb////
D/yap////
