Conceptual logic programs