From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. - Adil Kabbaj; Martin Janta-Polczynski (ICCS, 2000)