article

A logical analysis of modules in logic programming

Author:

Dale MillerAuthors Info & Claims

Journal of Logic Programming, Volume 6, Issue 1-2

Pages 79 - 108

https://doi.org/10.1016/0743-1066(89)90031-9

Published: 03 January 1989 Publication History

Abstract

No abstract available.

Cited By

View all

McCall MLoh LJia LBielova NGaboardi M(2017)A Sequent Calculus for Counterfactual ReasoningProceedings of the 2017 Workshop on Programming Languages and Analysis for Security10.1145/3139337.3139342(91-106)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.1145/3139337.3139342
Guenot NSchneider-Kamp PHanus M(2011)Nested proof search as reduction in the Lambda-calculusProceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming10.1145/2003476.2003501(183-194)Online publication date: 20-Jul-2011
https://dl.acm.org/doi/10.1145/2003476.2003501
Momigliano AOrnaghi M(2010)Proof-theoretic and higher-order extensions of logic programmingA 25-year perspective on logic programming10.5555/1880413.1880426(254-270)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1880413.1880426
Show More Cited By

Index Terms

A logical analysis of modules in logic programming
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages
2. Theory of computation
  1. Logic
    1. Constraint and logic programming
  2. Semantics and reasoning
    1. Program constructs
      1. Functional constructs

Recommendations

Logical foundations for more expressive declarative temporal logic programming languages

In this article, we present a declarative propositional temporal logic programming language called TeDiLog that is a combination of the temporal and disjunctive paradigms in logic programming. TeDiLog is, syntactically, a sublanguage of the well-known ...
From answer set logic programming to circumscription via logic of GK

We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional ...
Intensional logic programming

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Logic Programming

Journal of Logic Programming Volume 6, Issue 1-2

Jan./Mar. 1989

207 pages

ISSN:0743-1066

Editor:
J. L. Lassez

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 03 January 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

McCall MLoh LJia LBielova NGaboardi M(2017)A Sequent Calculus for Counterfactual ReasoningProceedings of the 2017 Workshop on Programming Languages and Analysis for Security10.1145/3139337.3139342(91-106)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.1145/3139337.3139342
Guenot NSchneider-Kamp PHanus M(2011)Nested proof search as reduction in the Lambda-calculusProceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming10.1145/2003476.2003501(183-194)Online publication date: 20-Jul-2011
https://dl.acm.org/doi/10.1145/2003476.2003501
Momigliano AOrnaghi M(2010)Proof-theoretic and higher-order extensions of logic programmingA 25-year perspective on logic programming10.5555/1880413.1880426(254-270)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1880413.1880426
Klose KOstermann K(2010)Modular logic metaprogrammingACM SIGPLAN Notices10.1145/1932682.186949945:10(484-503)Online publication date: 17-Oct-2010
https://dl.acm.org/doi/10.1145/1932682.1869499
Klose KOstermann KCook WClarke SRinard MSullivan KSteinberg D(2010)Modular logic metaprogrammingProceedings of the ACM international conference on Object oriented programming systems languages and applications10.1145/1869459.1869499(484-503)Online publication date: 17-Oct-2010
https://dl.acm.org/doi/10.1145/1869459.1869499
Gaintzarain JHermo MLucio PNavarro M(2010)Translating propositional extended conjunctions of Horn clauses into Boolean circuitsTheoretical Computer Science10.1016/j.tcs.2010.01.013411:16-18(1723-1733)Online publication date: 1-Mar-2010
https://dl.acm.org/doi/10.1016/j.tcs.2010.01.013
Cheney JUrban C(2008)Nominal logic programmingACM Transactions on Programming Languages and Systems10.1145/1387673.138767530:5(1-47)Online publication date: 4-Sep-2008
https://dl.acm.org/doi/10.1145/1387673.1387675
Kwon KKang D(2008)Extending LogicWeb via Hereditary Harrop FormulasIEICE - Transactions on Information and Systems10.1093/ietisy/e91-d.6.1827E91-D:6(1827-1829)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1093/ietisy/e91-d.6.1827
Miller DNigam V(2007)Incorporating tables into proofsProceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic10.5555/2392389.2392434(466-480)Online publication date: 11-Sep-2007
https://dl.acm.org/doi/10.5555/2392389.2392434
Lipton JNieva S(2007)Higher-order logic programming languages with constraintsProceedings of the 8th international conference on Typed lambda calculi and applications10.5555/1770203.1770223(272-289)Online publication date: 26-Jun-2007
https://dl.acm.org/doi/10.5555/1770203.1770223
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Logical foundations for more expressive declarative temporal logic programming languages

From answer set logic programming to circumscription via logic of GK

Intensional logic programming

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations