Towards AND/OR parallel logic programming | lit.salon