Efficient algebraic effect handlers for Prolog. - SALEH, AMR HANY; SCHRIJVERS, TOM; Carro, Manuel; King, Andy (Theory & Practice of Logic Programming, 2016)