Co-logic programming: Extending logic programming with coinduction

Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

47 Scopus citations

Abstract

In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a natural generalization of logic programming and coinductive logic programming, which in turn generalizes other extensions of logic programming, such as infinite trees, lazy predicates, and concurrent communicating predicates. Co-LP has applications to rational trees, verifying infinitary properties, lazy evaluation, concurrent LP, model checking, bisimilarity proofs, etc.

Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 34th International Colloquium, ICALP 2007, Proceedings
Pages472-483
Number of pages12
StatePublished - Dec 1 2007
Externally publishedYes
Event34th International Colloquium on Automata, Languages and Programming, ICALP 2007 - Wroclaw, Poland
Duration: Jul 9 2007Jul 13 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4596 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other34th International Colloquium on Automata, Languages and Programming, ICALP 2007
CountryPoland
CityWroclaw
Period7/9/077/13/07

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Co-logic programming: Extending logic programming with coinduction'. Together they form a unique fingerprint.

  • Cite this

    Simon, L., Bansal, A., Mallya, A., & Gupta, G. (2007). Co-logic programming: Extending logic programming with coinduction. In Automata, Languages and Programming - 34th International Colloquium, ICALP 2007, Proceedings (pp. 472-483). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4596 LNCS).