zbMATH — the first resource for mathematics

Logic programming languages. Constraints, functions, and objects. (English) Zbl 0831.68011
London: MIT Press. xiv, 204 p. (1993).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Cheong, Pui Hung; Fribourg, Laurent, Implementation of narrowing: The Prolog-based approach, 1-20 [Zbl 0832.68011]
Małuszyński, Jan; Bonnier, Staffan; Boye, Johan; Kluźniak, Feliks; Kågedal, Andreas; Nilsson, Ulf, Logic programs with external procedures, 21-48 [Zbl 0832.68012]
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio, The semantics of equational logic programming as an instance of CLP, 49-81 [Zbl 0832.68013]
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M., A paradigm for asynchronous communication and its application to concurrent constraint programming, 82-114 [Zbl 0832.68014]
Monteiro, Luís; Porto, António, A language for contextual logic programming, 115-147 [Zbl 0832.68015]
McCabe, Francis G., An introduction to \(L\& O\), 148-184 [Zbl 0832.68016]
68N17 Logic programming
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B15 Collections of articles of miscellaneous specific interest
PDF BibTeX Cite