Logic programming languages constraints, functions, and objects

Saved in:
Bibliographic Details
Other Authors Apt, Krzysztof R., 1949-, Bakker, J. W. de 1939-, Rutten, J. J. M. M.
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, c1993.
SeriesLogic programming.
Subjects
Logic programming languages.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262255646
Physical Description1 online zdroj (xiv, 204 p.)

Cover

Table of Contents:
  • Implementation of narrowing: the prolog-based approach / Pui Hung Cheong, Laurent Fribourg
  • Logic programs with external procedures / Jan Ma±uszyânski ... [et al.]
  • The semantics of equational logic programming as an instance of CLP / Marâia Alpuente ... [et al.]
  • A paradigm for asynchronous communication and its application to concurrent constraint programming / Frank S. de Boer ... [et al.]
  • A language for contextual logic programming / Luâis Monteiro, Antâonio Porto
  • An introduction to L&O / Francis G. McCabe.

Similar Items