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...
Saved in:
Main Authors | , , |
---|---|
Format | eBook |
Language | English |
Published |
Cambridge
MIT Press
1993
The MIT Press |
Edition | 1 |
Series | Logic Programming |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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& -- 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 |