SEARCH Articles Figures Tables A Logic Program Development Methodology Derivation of a Logic Program Inductive logic programming Logic Program Synthesis from Examples Logic program Logic program Logic program Subject Logic program derivation Logic program schema Logic program transformation Logical Framework for Ethiopias Productive Safety Net Program Logical programming Programming Logic (PROLOG) Programming and Logic Programming in logic Recursive logic programs The logical programming approach