Towards an Abstract Machine for Xcerpt's Simulation Unification, Institute of Computer Science, LMU,

@inproceedings{Brade2005TowardsAA,
  title={Towards an Abstract Machine for Xcerpt's Simulation Unification, Institute of Computer Science, LMU,},
  author={Michael Brade},
  year={2005}
}
This thesis presents an initial abstract machine (called SUAM) for Xcerpt’s non-standard unification algorithm, the simulation unification. The high-level simulation unification algorithm used in Xcerpt’s reference implementation was adapted to allow for an easy to understand implementation at machine level. The result is a purely sequential algorithm that differs quite considerably from the standard prolog unification. The machine language of the SUAM is tailored to the algorithm and comprises… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

I 4-D 10 An Abstract Machine for Xcerpt ’ s Single-Rule Programs : Theory and Practice

Tim Furche, Michael Brade, François Bry, Benedikt Linse, Andreas Schroeder
  • 2007
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Reasoning about Unreliable Actions

  • ArXiv
  • 2012
VIEW 1 EXCERPT
CITES BACKGROUND

Causality, Modality, and Explanation

  • Notre Dame Journal of Formal Logic
  • 2008
VIEW 1 EXCERPT
CITES BACKGROUND