Tri Bagus Kurniawan et al. 2025. Implementation of Constraint Satisfaction Problem Approach for Solving the Zebra Puzzle with Prolog. EPIC Journal of Electrical Power Instrumentation and Control. 8, 2 (Dec. 2025), 302–312. DOI:https://doi.org/10.32493/epic.v8i2.58721.