Logic Programming

This collection encapsulates the advancements and discussions from two significant Russian conferences dedicated to logic programming, convened in 1990. It brings together a myriad of papers that reflect the cutting-edge research and theoretical discussions prevalent in the field during that period.

Andrei Voronkov, a notable figure in the realm of logic programming, has curated these proceedings with a keen focus on showcasing the diverse applications and methodologies stemming from the discipline. Readers can expect to delve into a vivid landscape of innovative ideas and approaches shaping the foundations of logic programming as it evolved.

By documenting these crucial discussions, the volume not only preserves the legacy of early Russian contributions to logic programming but also serves as a rich resource for scholars and practitioners looking to explore the historical underpinnings and future implications of the subject.