Logic Programming Languages Constraints, Functions, and Objects

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of...

Full description

Saved in:
Bibliographic Details
Main Authors Apt, Krzysztof R, Bakker, J. W. de, Rutten, J. M
Format eBook
LanguageEnglish
Published Cambridge MIT Press 1993
The MIT Press
Edition1
SeriesLogic Programming
Subjects
Artificial Intelligence
Computer Science
Computing and Processing
Logic programming languages
Programming Languages
Online AccessGet full text

Cover

Abstract This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
AbstractList This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
Author Apt, Krzysztof R
Rutten, J. M
Bakker, J. W. de
Author_xml – sequence: 1
  fullname: Apt, Krzysztof R
– sequence: 2
  fullname: Bakker, J. W. de
– sequence: 3
  fullname: Rutten, J. M
BookMark eNpVkE1Lw0AQhlf8QFv7A0SQ3sRD292d_cpRS_2AgB7E67LdTGJtmtRsqn_fjakHD8Mw8LwvzDMgR1VdISFXjE61lGy2WbXbBkOYCWAwpZTFoeyAjBJtKFecS6mEOiSD7qCMgRAnZMAYN0KA4ckpGYXwETNUMykBzshlWhcrP35p6qJxm82qKsapq4qdKzCck-PclQFH-z0kb_eL1_njJH1-eJrfphMHWnGYMCM0gjZO-RxyNIl2NEcP1C2pcsbkfJlkHjn4zAntWZZgptDJTIKXzBsYkpu-2IU1fof3umyD_SpxWdfrYP_9Ftnrnt029ecOQ2t_MY9V27jSLu7mMlEKEh7JWU9Ga7avYtR2Hu2fR9t5tFGh7TzGxEWfWCHiPqK40jya_AEf-WyT
ContentType eBook
Copyright 1993 Massachusetts Institute of Technology
Copyright_xml – notice: 1993 Massachusetts Institute of Technology
– notice:
DEWEY 005.13/1
DOI 10.7551/mitpress/4313.001.0001
DatabaseTitleList


DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9780262255646
0262255642
Edition 1
Editor Apt, Krzysztof R
de Bakker, J. W
Rutten, J. M
Editor_xml – sequence: 1
  givenname: Krzysztof R
  surname: Apt
  fullname: Apt, Krzysztof R
– sequence: 2
  givenname: J. W
  surname: de Bakker
  fullname: de Bakker, J. W
– sequence: 3
  givenname: J. M
  surname: Rutten
  fullname: Rutten, J. M
ExternalDocumentID 9780262255646
EBC5966392
10_7551_mitpress_4313_001_0001
6267211
GroupedDBID -D2
38.
6IK
AABBV
ABFEK
AFHTS
ALMA_UNASSIGNED_HOLDINGS
BBABE
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
D2
DYIFQ
ECNEQ
MICIX
MIJRL
OCL
AAIPT
AAOBU
ABOMZ
AEGYG
ID FETCH-LOGICAL-a37623-1847e378a6cf3fe897a0fec30ab06a88f2b9dce23cda47c1d9ed6ea5d53c51c83
IEDL.DBID -D2
ISBN 0262011344
9780262011341
IngestDate Wed Oct 04 09:51:42 EDT 2023
Mon Mar 18 23:50:14 EDT 2024
Tue Jun 18 19:15:54 EDT 2024
Tue Jan 05 21:15:57 EST 2021
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident QA76.63$b.A68 1993
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a37623-1847e378a6cf3fe897a0fec30ab06a88f2b9dce23cda47c1d9ed6ea5d53c51c83
OCLC 1128443829
PQID EBC5966392
PageCount 223
ParticipantIDs askewsholts_vlebooks_9780262255646
proquest_ebookcentral_EBC5966392
mit_books_10_7551_mitpress_4313_001_0001
ieee_books_6267211
ProviderPackageCode BPEOZ
BGNUA
ECNEQ
6IK
DYIFQ
OCL
BKEBE
-D2
BEFXN
BFFAM
MIJRL
PublicationCentury 1900
PublicationDate 1993
19930302
1993-03-02
PublicationDateYYYYMMDD 1993-01-01
1993-03-02
PublicationDate_xml – year: 1993
  text: 1993
PublicationDecade 1990
PublicationPlace Cambridge
PublicationPlace_xml – name: Cambridge
PublicationSeriesTitle Logic Programming
PublicationYear 1993
Publisher MIT Press
The MIT Press
Publisher_xml – name: MIT Press
– name: The MIT Press
SSID ssj0000715533
Score 1.8580086
Snippet This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the...
SourceID askewsholts
proquest
mit
ieee
SourceType Aggregation Database
Publisher
SubjectTerms Artificial Intelligence
Computer Science
Computing and Processing
Logic programming languages
Programming Languages
Subtitle Constraints, Functions, and Objects
TableOfContents Intro -- Contents -- Series Foreword -- Preface -- Introduction -- 1 - Implementation of Narrowing: The Prolog-Based Approach -- 2 - Logic Programs with External Procedures -- 3 - The Semantics of Equational Logic Programming as an Instance of CLP -- 4 - A Paradigm for Asynchronous Communication and its Application to Concurrent Constraint Programming -- 5 - A Language for Contextual Logic Programming -- 6 - An Introduction to L&amp -- O -- References -- Contributors
Title Logic Programming Languages
URI https://ieeexplore.ieee.org/servlet/opac?bknumber=6267211
http://dx.doi.org/10.7551/mitpress/4313.001.0001
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5966392
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9780262255646
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NT8MwDLVgu7DLGB9iDFCFOHDp1iZp056QGJsmBIgDoIlLlaSJhKYNiXUXfj1226EJOHGr2qqt49T2cxw_gAtrtQliE_oxV9oXTks_Fc75UuWMpVozYWhz8v1DPHkWt9NoukH1RQwnZfGZ7dNhuZZP6UkUokSRV3pWU2VgJE7oZRuaIfWEx6ns37Dv9Ap6zggjmWpPsMSwYDB_K8rS0gG6TOpqGlLrwrAFLbWcoT1BW1Msa4oV9DN49y_rXLqccRte1x9bVZrM-qtC983njz6O_5JmF5qWNjl0YMsu9qC9pnbw6j99H3rEwWy8x6p6a47-zburM5vLA3gZj56GE7_mUfAVmg_GfURx0nKZqNg47mySShU4a3igdBCrJHFMp7mxjJtcCWnCPLV5bFWUR9xEoUn4ITQW7wt7BF5C_XRy4aQOlWBSq9QFDlGTcHhkFe_C-cZ4ZigpgYVlRo2OWMyo4ZmIu9Ch4ciqS7XoXbjEQa_PITQhpWVrpWWkNKq_KxfLu-CtNZOVz68LWbPR9TBC_IYx3_Ffr-jBTlWvSBmUE2gUHyt7ijFFoc_K2fMFfoTKXg
link.rule.ids 307,786,790,792,10848,24808,27956,55108
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LT9wwEB7xOBQuPApiyyuqOHDJbmI7cXLlpYUuiANU3CLbGUsI2EpN6IFfz4yTRahw4BYlVhJ7knn5m28ADhCtS3KXxrk0Nlbe6rhU3sfa1EKU1grluDj58iof36qLu-yuz3eEWhhEDOAzHPJh2Mtnd3NEjjcHK_OwSDY-YfBWfCLesilkKDNyXLoSYE0jRk_3bUCSjshCMolpykyF6TIsm-aB1AeplrbpO6qQWaHRH5RxsDBnKx3dUROICRlY8jB8bu3QvfxH2_iVl1-FReQShjWYw-k6rMwaN0T9f_wdtrnDsouuO2zWE1mvaNLnLZsN-H12enM8jvsuCbEh5SBkTDGaRqkLkzsvPRalNolHJxNjk9wUhRe2rB0K6WqjtEvrEuscTVZn0mWpK-QmLEz_THELooLZcmrltU2NEtqa0ieeYiLl6QiNHMDPd8tX_XsMO7pNxTRGIhdMZ6byAazx7KvuUj_1ARzSGvfnKPBgGVUzGVUsI0bXha3wAUQzQVTh_j1MtTo9Os4oOiOP7sdnj9iHb-Oby0k1Ob_6tQ1LHTKRcyU7sND-fcZd8h5auxc-nFemUL-G
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Logic+Programming+Languages&rft.date=1993-03-02&rft.pub=The+MIT+Press&rft.isbn=9780262255646&rft_id=info:doi/10.7551%2Fmitpress%2F4313.001.0001&rft.externalDocID=10_7551_mitpress_4313_001_0001
thumbnail_m http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.askewsandholts.com%2Fuploads%2Fproduct%2Fimages%2Ffull%2F5646%2F9780262255646.jpg