Explore: Logic Programming Languages
Discover books, insights, and more — all in one place.
Learn more about Logic Programming Languages with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logic-programming-languages”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logic, Language, Formalism, Informalism
By Daniel Richardson

“Logic, Language, Formalism, Informalism” Metadata:
- Title: ➤ Logic, Language, Formalism, Informalism
- Author: Daniel Richardson
- Language: English
- Number of Pages: Median: 246
- Publisher: ➤ International Thomson Computer Press
- Publish Date: 1995
“Logic, Language, Formalism, Informalism” Subjects and Themes:
- Subjects: Logic programming languages - Formale Sprache - Logische Programmierung - Language and logic - Formalism (literary analysis)
Edition Identifiers:
- The Open Library ID: OL8967801M
- All ISBNs: 1850321272 - 9781850321279
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic, Language, Formalism, Informalism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computational logic
By Fariba Sadri and Robert Kowalski

“Computational logic” Metadata:
- Title: Computational logic
- Authors: Fariba SadriRobert Kowalski
- Language: English
- Number of Pages: Median: 687
- Publisher: Springer
- Publish Date: 2002
- Publish Location: New York - Heidelberg
“Computational logic” Subjects and Themes:
- Subjects: Logic programming - Automatic theorem proving - Logic programming languages - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL9057846M - OL22472137M - OL18175345M
- Online Computer Library Center (OCLC) ID: 50393770
- Library of Congress Control Number (LCCN): 2002026826
- All ISBNs: 3540439609 - 3540439595 - 9783540439608 - 9783540439592
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logic programming languages
By Krzysztof R. Apt and J. W. de Bakker

“Logic programming languages” Metadata:
- Title: Logic programming languages
- Authors: Krzysztof R. AptJ. W. de Bakker
- Language: English
- Number of Pages: Median: 214
- Publisher: MIT Press - The MIT Press
- Publish Date: 1993
- Publish Location: Cambridge, Mass
“Logic programming languages” Subjects and Themes:
- Subjects: ➤ Logic programming languages - Logic programming - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL1740971M - OL10236665M
- Online Computer Library Center (OCLC) ID: 27264869
- Library of Congress Control Number (LCCN): 92046899
- All ISBNs: 9780262011341 - 0262011344
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic programming languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
By Rolf Stadler
“Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache” Metadata:
- Title: ➤ Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
- Author: Rolf Stadler
- Language: ger
- Number of Pages: Median: 142
- Publisher: Springer
- Publish Date: 1991
- Publish Location: New York - Berlin
“Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache” Subjects and Themes:
- Subjects: Data dictionaries - Logic programming languages - Logic programming - Programming languages (electronic computers) - Database management
Edition Identifiers:
- The Open Library ID: OL1770722M
- Online Computer Library Center (OCLC) ID: 29454344
- Library of Congress Control Number (LCCN): 92123306
- All ISBNs: 0387545468 - 9780387545462 - 3540545468 - 9783540545460
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Metamorphosen, Unifikation und linguistische Merkmalbeschreibung
By Wolfgang G. Kreitmair-Steck
“Metamorphosen, Unifikation und linguistische Merkmalbeschreibung” Metadata:
- Title: ➤ Metamorphosen, Unifikation und linguistische Merkmalbeschreibung
- Author: Wolfgang G. Kreitmair-Steck
- Language: ger
- Number of Pages: Median: 192
- Publish Date: 1990
“Metamorphosen, Unifikation und linguistische Merkmalbeschreibung” Subjects and Themes:
- Subjects: Computational linguistics - Logic programming languages - Unification grammar - Markedness (Linguistics)
Edition Identifiers:
- The Open Library ID: OL58254803M
- Online Computer Library Center (OCLC) ID: 236052910
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Metamorphosen, Unifikation und linguistische Merkmalbeschreibung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The Gödel programming language
By Hill, Patricia

“The Gödel programming language” Metadata:
- Title: ➤ The Gödel programming language
- Author: Hill, Patricia
- Language: English
- Number of Pages: Median: 348
- Publisher: MIT Press
- Publish Date: 1994
- Publish Location: Cambridge, Mass
“The Gödel programming language” Subjects and Themes:
- Subjects: ➤ Gödel (Computer program language) - Logic programming languages - Logic programming - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL1426102M
- Library of Congress Control Number (LCCN): 93037158
- All ISBNs: 9780262082297 - 0262082292
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The Gödel programming language at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Computational logic

“Computational logic” Metadata:
- Title: Computational logic
- Language: English
- Number of Pages: Median: 628
- Publisher: Springer
- Publish Date: 2002
“Computational logic” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL9441315M
- All ISBNs: 3540439609 - 9783540439608
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.