An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus

DOI10.1023/A:1010072901408zbMath0935.68100OpenAlexW1506313028MaRDI QIDQ1302749

Erik Sandewall

Publication date: 22 September 1999

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010072901408

zbMATH Keywords

partial evaluationcontinuations

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

A syntactic correspondence between context-sensitive calculi and abstract machines

This page was built for publication: An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus