I detta dokument presenteras en översikt och en kartläggning av logisk programsyntes. Logic program syntes tolkas här på ett brett sätt det handlar om följande fråga: med tanke på en speci katjon, hur d o w e få ett logiskt program som uppfyller speci katjonen? Logic programmering ger en unikt trevlig och enhetlig ram för programsyntes eftersom specificationen, syntesprocessen och det resulterande programmet kan alla uttryckas i logik. Tre huvudsakliga tillvägagångssätt till logisk programsyntes med formella metoder beskrivs: konstruktiv syntes, deduktiva s y n tes och induktiv syntes. Relaterade frågor såsom korrekthet och veri kation samt syntes genom informella metoder presenteras brie y. Vår presentation görs konsekvent b y e m p l o i en enhetlig ram för terminologi och notation, och genom att använda samma exempel för alla de tillvägagångssätt som omfattas. Syftet med detta dokument är således att ge en bedömning av befintligt arbete och en ram för framtida forskning inom logisk programsyntes. Denna förordning är till alla delar bindande och direkt tillämplig i alla medlemsstater.
För en detaljerad översikt över logisk programsyntes, se REF.
LOGIC PROGRAM SYNTHESIS
{'venue': 'J. LOGIC PROGRAMMING', 'journal': None, 'mag_field_of_study': ['Computer Science']}