Prolog logic programming. ATAG CX6471C. Mat 25 1 10. Jvc kw v350bt manual troubleshooting.