Extensions of Logic Programming

Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

By: Lars-Henrik Eriksson (Editor), Lars HallnÃ¤s (Editor), Peter Schroeder-Heister (Editor)

Write A Review

Paperback | 20 May 1992

At a Glance

Paperback
384 Pages

Dimensions(cm)
23.39 x 15.6 x 2.01

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Artificial Intelligence Computer Programming & Software Development Software Engineering

Methodology and Programming Techniques in GCLA II	p. 1
Extended Logic-plus-Functional Programming	p. 45
Open Logic Theories	p. 73
A Finitary Version of the Calculus of Partial Inductive Definitions	p. 89
A Logic Programming Approach to Implementing Higher-Order Term Rewriting	p. 135
An Overview of the Andorra Kernel Language	p. 163
Logical and Computational Invariants of Programs	p. 181
Implementing [lambda]-Calculus Reduction Strategies in Extended Logic Programming Languages	p. 193
Terminological Reasoning and Partial Inductive Definitions	p. 221
GCLA II: A Definitional Approach to Control	p. 239
Natural Semantics and Some of Its Meta-Theory in Elf	p. 299
The Near-Horn Approach to Disjunctive Logic Programming	p. 345
Table of Contents provided by Blackwell. All Rights Reserved.

Extensions of Logic Programming

Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Windows 11 for Seniors for Dummies, 2nd Edition

For Dummies (Computer/Tech)

Arduino For Dummies

For Dummies (Computer/Tech)

Game Engine Architecture

Volume II, Graphics, Motion and Sound

Prescriptions for Quant Traders Using R

Videos & Scripts

Prescriptions for Quant Traders Using R

Videos & Scripts

Virtual Reality Audio

A Guide to Immersive Sound in Virtual Experiences

Uncertain Data Analysis

Fuzzy Vector Algorithms

Uncertain Data Analysis

Fuzzy Vector Algorithms

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

Neural Networks

Overview of Current Theories and Applications

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, Ai, Cloud, and Microservices

Designing AI Interfaces

Design Principles for Creative and Autonomous AI

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Python All-in-One For Dummies

3rd Edition

Starting Out with Python

5th Global Edition

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

This product is categorised by