logic-oriented program