The Application of Prolog to Structured Design. - T. H. Tse; Tsong Yueh Chen; F. T. Chan; Huo Yan Chen; H. L. Xie (Softw. Pract. Exp., 1994)