Cover Image
Read Now

Logic programming proceedings of the twelfth International Conference on Logic Programming

"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 b...

Full description

Bibliographic Details
Main Author: Sterling, Leon
Corporate Authors: Association for Logic Programming, International Symposium on Logic Programming (1995, Tokyo, Japan)
Format: eBook
Language:English
Published: Cambridge, Mass. MIT 1995
Series:Logic programming
Subjects:
Logic Programming / Congresses
Computer Science/programming Languages
Online Access:
Collection: MIT Press eBook Archive - Collection details see MPG.ReNa
LEADER 02319nmm a2200301 u 4500
001 EB002070638
003 EBX01000000000000001210728
005 00000000000000.0
007 cr|||||||||||||||||||||
008 220922 ||| eng
020 |a 9780262291439 
020 |a 0262291436 
050 4 |a QA76.63 
100 1 |a Sterling, Leon 
245 0 0 |a Logic programming  |h Elektronische Ressource  |b proceedings of the twelfth International Conference on Logic Programming  |c edited by Leon Sterling 
260 |a Cambridge, Mass.  |b MIT  |c 1995 
300 |a xx, 834 pages  |b illustrations 
653 |a Logic programming / Congresses 
653 |a COMPUTER SCIENCE/Programming Languages 
710 2 |a Association for Logic Programming 
710 2 |a International Symposium on Logic Programming (1995, Tokyo, Japan) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b MITArchiv  |a MIT Press eBook Archive 
490 0 |a Logic programming 
028 5 0 |a 10.7551/mitpress/4298.001.0001 
856 4 0 |u https://doi.org/10.7551/mitpress/4298.001.0001?locatt=mode:legacy  |x Verlag  |3 Volltext 
082 0 |a 005.131 
520 |a "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." 

Similar Items