Упоредно логичко програмирање