System | SKILit |
References | [1] |
Pointers | Contact - http://www.liacc.up.pt/~amjorge/ |
SKILit addresses the problem of synthesis of function free definite logic programs from incomplete specifications, background knowledge and programming knowledge. It is implemented in Prolog (Yap).