Network Logic Programming Theory