El PARLOG (de "PARallel LOGic") es un lenguaje de programación lógica similar al Prolog.