Basic Logical Programs In C