Logic programming in Prolog For Artificial intelligence