Prolog: Sophisticated Applications in Artificial Intelligence