CookeD, Gate A, Demirors E. Languages for the spesification of software [J]. Journal of Systems and Software, 1996, (3):269-308.doi:10.1016/0164-1212(95)00071-2.
[4]
DebrayK, Mishra P. Denotational and operational semantics for Prolog [J]. Journal of Logic Programming, 1988.61-91.doi:10.1016/0743-1066(88)90007-6.
[5]
BenichouM, Beringer H, Gauthierr J M. Prolog at IBM:An advanced and evolving application development technology [J]. IBM Systems Journal, 1992(4):755-773.doi:10.1147/sj.314.0755.
