A semantics for Prolog
From MaRDI portal
Publication:1349686
DOI10.1016/0304-3975(93)00130-WzbMATH Open0874.68181OpenAlexW2022937548MaRDI QIDQ1349686FDOQ1349686
Authors: D. A. Wolfram 
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)00130-w
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Semantics of Predicate Logic as a Programming Language
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Completeness in the theory of types
- Proof theory
- Resolution in type theory
- Title not available (Why is that?)
- Uniform proofs as a foundation for logic programming
- Hauptsatz for higher order logic
- General models and extensionality
- Syntactical and semantical properties of simple type theory
- A unification algorithm for typed \(\overline\lambda\)-calculus
- Kripke-style models for typed lambda calculus
- A proof of cut-elimination theorem in simple type-theory
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
- Title not available (Why is that?)
- Higher-order Horn clauses
Cited In (10)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages
- A semantics for nabla
- A structured alternative to Prolog with simple compositional semantics
- Higher-Order Logic Programming Languages with Constraints: A Semantics
- Higher-order Horn clauses
- Theory of logic programming. An elementary introduction
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
- Abstract deduction and inferential models for type theory
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: A semantics for \(\lambda \)Prolog
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349686)
