Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings

Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.)3540554602, 9783540554608, 0387554602

This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union.

---

Table of contents :
Real-time memory management for Prolog….Pages 1-12
A process semantics of logic programs….Pages 13-26
Logical operational semantics of Parlog Part II: Or-Parallelism….Pages 27-34
WAM algebras—A mathematical study of implementation Part 2….Pages 35-54
Abdugtive systems for non-monotonig reasoning….Pages 55-65
Properties of algorithmic operators….Pages 66-78
Deep logic program transformation using abstract interpretation….Pages 79-101
Objects in a logic programming framework….Pages 102-113
Integrity verification in knowledge bases….Pages 114-139
On procedural semantics of metalevel negation….Pages 140-151
Probabilistic logic programs and their semantics….Pages 152-164
Implementation of Prolog as binary definite programs….Pages 165-176
Prolog semantics for measuring space consumption….Pages 177-192
Or-parallel Prolog with heuristic task distribution….Pages 193-200
A WAM compilation scheme….Pages 201-214
Safe positive induction in the programming logic TK….Pages 215-231
Wam specification for parallel execution on SIMD computer….Pages 232-239
On abstracting the procedural behaviour of logic programs….Pages 240-262
Treating enhanced entity relationship models in a declarative style….Pages 263-270
Processing of ground regular terms in Prolog….Pages 271-285
Compiling Flang….Pages 286-293
FIDO: Finite domain consistency techniques in logic programming….Pages 294-301
A constructive logic approach to database theory….Pages 302-321
Abstract syntax and logic programming….Pages 322-337
Deduction search with generalized terms….Pages 338-348
A simple transformation from Prolog-written metalevel interpreters into compilers and its implementation….Pages 349-360
Free deduction: An analysis of “Computations” in classical logic….Pages 361-380
Gentzen-type calculi for modal logic S4 with barcan formula….Pages 381-390
Logical foundation for logic programming based on first order linear temporal logic….Pages 391-406
Logic Programming with Pseudo-Resolution….Pages 407-414
Brave: An OR-parallel dialect of Prolog and its application to artificial intelligence….Pages 415-432
A declarative debugging environment for DATALOG….Pages 433-441
A sequent calculus for a first order linear temporal logic with explicit time….Pages 442-451
A logical-based language for feature specification and transmission control….Pages 452-461
Program transformations and WAM-support for the compilation of definite metaprograms….Pages 462-473
Some considerations on the logic P F D….Pages 474-485
Logic programming with bounded quantifiers….Pages 486-514