This is one of the best resources for learning modern Prolog. It mainly uses Scryer Prolog, which is a still-in-progress open source Prolog system, but very promising and adheres to the ISO standard.