C.net Logical Programs