Repository of Logic Programing  2