Tri Bagus Kurniawan, et al. “Implementation of Constraint Satisfaction Problem Approach for Solving the Zebra Puzzle With Prolog”. EPIC Journal of Electrical Power Instrumentation and Control, vol. 8, no. 2, Dec. 2025, pp. 302-1, doi:10.32493/epic.v8i2.58721.