Publisher
Springer International Publishing
Reference12 articles.
1. Apt, K.R.: From Logic Programming to Prolog. International Series in Computer Science. Prentice Hall Europe, Hemel Hempstead (1997)
2. Bossi, A., Gabbrielli, M., Levi, G., Martelli, M.: The s-semantics approach: theory and applications. J. Log. Program. 19/20, 149–197 (1994). https://doi.org/10.1016/0743-1066(94)90026-4
3. Bossi, A.: S-semantics for logic programming: a retrospective look. Theor. Comput. Sci. 410(46), 4692–4703 (2009). https://doi.org/10.1016/j.tcs.2009.07.039
4. Clark, K.L.: Predicate logic as computational formalism. Technical report 79/59, Imperial College, London, December 1979
5. Drabent, W., Małuszyński, J.: Inductive assertion method for logic programs. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds.) TAPSOFT 1987. LNCS, vol. 250, pp. 167–181. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0014980. Preliminary version of [DM88]