Text

Logic Programming: The 12th International Conference

---

"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications."

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

Logic programming : Cambridge, Mass. : MIT Press,., 1995

Collation

-

Language

English

ISBN/ISSN

9780262291439

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

COMPUTER SCIENCE/Programming Languages

Specific Detail Info

-

Statement of Responsibility

Leon S. Sterling

Other Information

Cataloger

Suwardi

Source

https://direct.mit.edu/books/edited-volume/3974/Logic-ProgrammingThe-12th-International-Conference

Validator

Suwardi

Digital Object Identifier (DOI)

https://doi.org/10.7551/mitpress/4298.001.0001

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment