PROLOG PROGAMMING FOR ARTIFICIAL INTELLIGENCE