Publisher
Springer Nature Switzerland
Reference13 articles.
1. Apt, K.R.: From Logic Programming to Prolog. Prentice Hall, London (1997)
2. Byrd, L.: Understanding the control flow of prolog programs. In: Tarnlund, S.A. (ed.) Proceedings of the 1980 Logic Programming Workshop, pp. 127–138 (1980)
3. Clocksin, W.F., Mellish, C.S.: Programming in PROLOG, 4th edn. Springer, Cham (1994)
4. Ducassé, M.: Opium: an extendable trace analyzer for prolog. J. Log. Program. 39(1–3), 177–223 (1999). https://doi.org/10.1016/S0743-1066(98)10036-5
5. Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Develop. 5, 183–191 (1961)