Logic And Prolog Database System. JT 1989, 14 (1), 41-48. https://doi.org/10.11113/jt.v14.999.