Tri Bagus Kurniawan; Muhammad Risqi Nuryana; Bijokangko, R. S. Implementation of Constraint Satisfaction Problem Approach for Solving the Zebra Puzzle With Prolog. epic 2025, 8, 302-312.