Problemet med att automatiskt upptäcka beroende och parallelism i prologprogram har hittills inte studerats. I detta dokument diskuterar vi viktiga frågor som är involverade i att använda statisk analys för att upptäcka beroende och-parallellism i Prolog-program. Vi presenterar en statisk analysteknik baserad på abstrakt tolkning som upptäcker (fruktfull) beroende och-parallellism. Vår metod använder sig av flera typer av information om programmets delning och frihet, granularitet undermål och bindningstider av programvariabler som beräknas med hjälp av abstrakt tolkning. Den information som samlas in från olika källor används för att producera en lämplig annotering av det ursprungliga programmet. Denna notering identi es: i) de mest fruktbara källorna till parallellism; och ii) de beroenden som måste respekteras under verkställandet. En prototypkompilator som innehåller dessa idéer har implementerats och testats på ACE- och-eller parallellprologsystemet. De (mycket uppmuntrande) resultat som erhållits redovisas här.
Det mest närbesläktade arbetet med vårt skapade parallellismanteckningar för ACE och/eller parallelsystemet REF.
Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism
{'venue': 'In International Conference on Logic Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}