Prolog : A Logic Programming Language with Names , Binding and-Equivalence

  title={Prolog : A Logic Programming Language with Names , Binding and-Equivalence},
  author={James Cheney and Christian Urban},
There are two well-known approaches to programming with names, binding, and equivalence up to consistent renaming: representing names and bindings as concrete identifiers in a first-order language (such as Prolog), or encoding names and bindings as variables and abstractions in a higher-order language (such as Prolog). However, both approaches have drawbacks: the former often involves stateful name-generation and requires manual definitions for -equivalence and capture-avoiding substitution… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
17 Citations
19 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 19 references

A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle

  • A. Momigliano, S. J. Ambler, R. L. Crole
  • In Informatics Research Report EDI-INF-RR-0046…
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…