APICe » Publications » Objects with State in Contextual Logic Programming

Objects with State in Contextual Logic Programming

Antonio Natali, Andrea Omicini
The amalgamation of object-oriented concepts into the logic programming paradigm represents a promising approach to the exploitation of prototyping techniques for building complex software systems. Starting from the CSM implementation of contextual logic programming, an extension path toward object-oriented abstractions and mechanisms is proposed. In particular, the state modification issue is addressed by making a clear distinction between deductive and updating phases.
Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science 714, pages 220-234, 1993.
Maurice Bruynooghe, Jaan Penjam (eds.), Springer-Verlag
5th International Symposium (PLILP'93), Tallinn, Estonia, 25-27 August 1993. Proceedings
	Author = {Natali, Antonio and Omicini, Andrea},
	Booktitle = {Programming Language Implementation and Logic Programming},
	Doi = {10.1007/3-540-57186-8_81},
	Editor = {Bruynooghe, Maurice and Penjam, Jaan},
	Isbn = {978-3-540-57186-5},
	Isbn-10 = {978-3-540-57186-5},
	Isbn-Online = {978-3-540-47945-1},
	Issn = {0302-9743},
	Note = {5th International Symposium (PLILP'93), Tallinn, Estonia, 25--27~} # aug # {~1993. Proceedings},
	Pages = {220--234},
	Publisher = {Springer-Verlag},
	ScopusId = {2-s2.0-21144462602},
	Series = {LNCS},
	Title = {Objects with State in {C}ontextual {L}ogic {P}rogramming},
	Url = {http://www.springerlink.com/content/y13x171767nj07h0/},
	Volume = 714,
	Year = 1993}