Abstract (EN):
A methodology for the synthesis of function free definite logic programs from incomplete specifications, background knowledge and programming knowledge is presented. The methodology is implemented as a system SKILit and sub-systems SKIL and MONIC. The specification consists of positive and negative examples of the predicate to synthesize, together with its input/output mode declaration.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
2