SKILit

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).

Reference

  1. A. Jorge. Iterative Induction of Logic Programs - An approach to logic program synthesis from incomplete specifications. PhD thesis, Faculdade de Ciencias da Universidade do Porto, 1998.

back to index