“Logic And Prolog Database System”, JT, vol. 14, no. 1, pp. 41–48, May 1989, doi: 10.11113/jt.v14.999.