Compositional Relational Programming with Name Projection and Compositional Synthesis

• CombInduce is a methodology for inductive synthesis of logic programs, which employs a reversible meta-interpreter for synthesis, and uses a compositional relational target language for ecient synthesis of recursive predicates.The target language, Combilog, has reduced usability due to the lack of variables, a feature enforced by the principle of compositionality, which is at the core of the synthesis process. We present a revision of Combilog, namely, Combilog with Name Projection (CNP), which brings improved usability by using argument names, whilst still staying devoid of variables, preserving the compositionality.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Information Systems (hsv//eng)

Nyckelord

Logic programming

program synthesis

relational programming

programming languages

compositional programming

meta-programming

meta-interpreter

Information Systems

Informationssystem

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)