Knowledge Systems through PROLOG: An Introduction