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