For the Prolog part of the course we are using SWI-Prolog (swipl) but you can use another “Edinburgh” Prolog implementation if you wish.