logic-based program development

разработка логические программ (на языке с поддержкой парадигмы логического программирования Alex_Odeychuk)