Ulf Nilsson AID: An Alternative Implementation of DCGs. 383-399 1986 4 New Generation Comput. 4 db/journals/ngc/ngc4.html#Nilsson86