Abstract
This paper presents a survey of programming patterns for Logtalk parametric objects. A parametric object is an object whose identifier is a compound term containing logical variables. These variables play the role of object parameters. Object predicates can be coded to depend on the parameter values. Parametric objects are a common feature of some other object-oriented logic programming languages and Prolog object-oriented extensions. Logtalk extends the usefulness of parametric objects by introducing the concept of object proxies. An object proxy is a compound term that can be interpreted as a possible instantiation of the identifier of a parametric object. Object proxies, when represented as predicate facts, allow application memory footprint to be minimized while still taking full advantage of Logtalk object-oriented features for representing and reasoning with taxonomic knowledge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Moura, P.: Logtalk 2.6 Documentation. Technical Report DMI 2000/1, University of Beira Interior, Portugal (July 2000)
Moura, P.: Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Computer Science, University of Beira Interior, Portugal (September 2003)
Moura, P.: Logtalk 2.39.0 User and Reference Manuals (February 2010)
Swedish Institute for Computer Science: SICStus Prolog 4.0 User Manual (April 2009)
Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, New York (1987)
McCabe, F.G.: Logic and Objects. Computer Science. Prentice Hall, Englewood Cliffs (1992)
Igler, M., Joblonski, S.: ESProNa – Engine for Semantic Process Navigation (2009), http://www.ai4.uni-bayreuth.de/
Fromherz, M.: OL(P): Object Layer for Prolog (1993), ftp://parcftp.xerox.com/ftp/pub/ol/
Kino, N.: Logical assignment of Prolog terms (2005), http://www.kprolog.com/en/logical_assignment/
Moura, P., Marchetti, V.: Logtalk Processing of STEP Part 21 Files. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 453–454. Springer, Heidelberg (2006)
Moura, P., Dias, A.M.: L-FLAT: Logtalk Toolkit for Formal Languages and Automata (2009), http://code.google.com/p/lflat/
Wermelinger, M., Dias, A.M.: A Prolog Toolkit for Formal Languages and Automata. In: ITiCSE 2005: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, pp. 330–334. ACM, New York (2005)
Monteiro, L., Porto, A.: A language for contextual logic programming. In: Logic Programming Languages: Constraints, Functions, and Objects, pp. 115–147. MIT Press, Cambridge (1993)
Abreu, S., Diaz, D.: Objective: In minimum context. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 128–147. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moura, P. (2011). Programming Patterns for Logtalk Parametric Objects. In: Abreu, S., Seipel, D. (eds) Applications of Declarative Programming and Knowledge Management. INAP 2009. Lecture Notes in Computer Science(), vol 6547. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20589-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-20589-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20588-0
Online ISBN: 978-3-642-20589-7
eBook Packages: Computer ScienceComputer Science (R0)