Logic Programming class