Meta Programming In Logic Programming

Author : Alberto Pettorossi
Publisher : Springer Science & Business Media
Page : 374 pages
File Size : 45,6 Mb
Release : 1992-12-02
Category : Computers
ISBN : 3540562826

Get Book

Meta-Programming in Logic by Alberto Pettorossi Pdf

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

Author : Krzysztof Apt,Franco Turini
Publisher : Mit Press
Page : 350 pages
File Size : 41,5 Mb
Release : 2003-02-01
Category : Computers
ISBN : 0262511681

Get Book

Meta-Logics and Logic Programming by Krzysztof Apt,Franco Turini Pdf

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in general. The 12 contributions, many written especially for this book, explore the foundations, language design issues, and applications of meta-programming in logic programming.Meta-programming -- the process of writing computer programs that can manipulate representations of other programs -- has been key both in the foundations of computer science and in its practical developments. Examples of meta-programs include compilers, interpreters, program analyzers, and partial evaluators. The choice of logic programming as a basis for meta-programming offers several practical and theoretical advantages: among them, the possibility of tackling critical foundational problems of meta-programming within a strong theoretical framework, and the surprising ease of programming. The usual framework of logic programming (and more generally first-order logic), however, has to be modified and extended to formally deal with meta-programs, extensions the editors call "meta-logics." Along with an exploration of meta-programming in logic programming, the definitions, formal properties, and use of these extensions constitute one of the book's main themes.The first part of the book, Foundations, focuses on the representation problem -- how object programs are represented within meta-programs. The second part, Language Support for Meta-Logics, is concerned with language extensions that make meta-programming easier and more elegant. The third part, Meta-Logics for Knowledge Management, deals with the use of meta-logic for advanced knowledge representation purposes.

Author : Alberto Pettorossi
Publisher : Unknown
Page : 370 pages
File Size : 52,6 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 3662180111

Get Book

Meta-Programming in Logic by Alberto Pettorossi Pdf

Author : Harvey Abramson,M.H. Rogers
Publisher : Unknown
Page : 0 pages
File Size : 42,9 Mb
Release : 1989
Category : Logic programming
ISBN : 026251057X

Get Book

Meta-programming in logic programming by Harvey Abramson,M.H. Rogers Pdf

Author : Laurent Fribourg,Franco Turini
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 48,7 Mb
Release : 1994-11-30
Category : Computers
ISBN : 3540587926

Get Book

Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg,Franco Turini Pdf

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Author : Alberto Pettorossi
Publisher : Unknown
Page : 128 pages
File Size : 40,5 Mb
Release : 1992
Category : Logic programming
ISBN : OCLC:502634884

Get Book

Meta-programming in Logic by Alberto Pettorossi Pdf

Author : Alberto Pettorossi
Publisher : Unknown
Page : 0 pages
File Size : 48,5 Mb
Release : 1992
Category : Logic programming
ISBN : OCLC:502634884

Get Book

Meta-programming in Logic by Alberto Pettorossi Pdf

Author : Vytautas Štuikys,Robertas Damaševičius
Publisher : Springer Science & Business Media
Page : 330 pages
File Size : 44,9 Mb
Release : 2012-08-21
Category : Computers
ISBN : 9781447141266

Get Book

Meta-Programming and Model-Driven Meta-Program Development by Vytautas Štuikys,Robertas Damaševičius Pdf

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches. The fundamental concepts of meta-programming are still not thoroughly understood, in this well organized book divided into three parts the authors help to address this. Chapters include: Taxonomy of fundamental concepts of meta-programming; Concept of structural heterogeneous meta-programming based on the original meta-language; Model-driven concept and feature-based modeling to the development process of meta-programs; Equivalent meta-program transformations and metrics to evaluate complexity of feature-based models and meta-programs; Variety of academic research case studies within different application domains to experimentally verify the soundness of the investigated approaches. Both authors are professors at Kaunas University of Technology with 15 years research and teaching experience in the field. Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques is aimed at post-graduates in computer science and software engineering and researchers and program system developers wishing to extend their knowledge in this rapidly evolving sector of science and technology.

Author : Dov M. Gabbay,C. J. Hogger,J. A. Robinson
Publisher : Clarendon Press
Page : 818 pages
File Size : 53,9 Mb
Release : 1998-01-08
Category : Computers
ISBN : 9780191546280

Get Book

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming by Dov M. Gabbay,C. J. Hogger,J. A. Robinson Pdf

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming. The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes.

Author : Antonis C. Kakas,Fariba Sadri
Publisher : Springer
Page : 628 pages
File Size : 50,7 Mb
Release : 2003-08-02
Category : Computers
ISBN : 9783540456322

Get Book

Computational Logic: Logic Programming and Beyond by Antonis C. Kakas,Fariba Sadri Pdf

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.

Author : John Lloyd
Publisher : MIT Press
Page : 676 pages
File Size : 47,8 Mb
Release : 1995
Category : Computers
ISBN : 0262620995

Get Book

Logic Programming by John Lloyd Pdf

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems", particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.

Author : John P. Gallagher
Publisher : Springer Science & Business Media
Page : 344 pages
File Size : 48,5 Mb
Release : 1997-03-12
Category : Computers
ISBN : 3540627189

Get Book

Logic Program Synthesis and Transformation by John P. Gallagher Pdf

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Author : Laurent Fribourg,Franco Turini
Publisher : Springer
Page : 458 pages
File Size : 55,8 Mb
Release : 2014-03-12
Category : Computers
ISBN : 3662203006

Get Book

Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg,Franco Turini Pdf

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Author : Pierre Deransart,Jan Maluszynski
Publisher : Springer Science & Business Media
Page : 420 pages
File Size : 50,8 Mb
Release : 1990-08-08
Category : Computers
ISBN : 354053010X

Get Book

Programming Language Implementation and Logic Programming by Pierre Deransart,Jan Maluszynski Pdf

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.

Author : Robert Nieuwenhuis,Andrei Voronkov
Publisher : Springer
Page : 741 pages
File Size : 49,6 Mb
Release : 2003-06-30
Category : Computers
ISBN : 9783540456537

Get Book

Logic for Programming, Artificial Intelligence, and Reasoning by Robert Nieuwenhuis,Andrei Voronkov Pdf

This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. There were 112 submissions, of which 19 belonged to the special subm- sion category of experimental papers, intended to describe implementations or comparisons of systems, or experiments with systems. Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet. The high number of submissions caused a large amount of work, and we are very grateful to the other 31 PC members for their e?ciency and for the quality of their reviews and discussions. Finally, the committee decided to accept 40papers in the theoretical ca- gory, and 9 experimental papers. In addition to the refereed papers, this volume contains an extended abstract of the invited talk by Frank Wolter. Two other invited lectures were given by Matthias Baaz and Manuel Hermenegildo. Apart from the program committee, we would also like to thank the other people who made LPAR 2001 possible: the additional referees; the Local Arran- ` gements Chair Luciano Garc ́?a; Andr ́es Navarro and Oscar Guell, ̈ who ran the internet-based submission software and the program committee discussion so- ware at the LSI Department lab in Barcelona; and Bill McCune, whose program committee management software was used.