Title: Towards AND/OR parallel logic programming