Appendix: Implementation Issues
In this appendix we sketch the design of an implementation of the Hornlog and HE †-refutation methods on an abstract parallel model. A serial implementation is a straightforward specialization of this material and is based on a breadth-first expansion strategy which includes flags for handling first and last cases.
KeywordsMapping Boolean Target Node Implementation Issue Horn Clause Mature Node
Unable to display preview. Download preview PDF.