Compiling GitHub Actions Into Datalog

Abstract

Datalog on deklaratiivne programmeerimiskeel, mis defineerib seoseid reeglite ja faktidega. Selle artikliga püüame hinnata selle kasutamist alternatiivse süntaksina, et kirjutada pidevintegratsioon konveier GitHub Actions’i platvormi kaudu. Need konveierid on kirjutatud YAML-is ja tähistavad sõltuvusahelaid. Meie peamine panus on süntaksi katsetus, mis on lähedasem kirjeldatavale semantikale, potentsiaalselt lahendades levinumaid probleemid, mida arendajad nende failidega töötamisel kogevad.