T. J. Reynolds's research while affiliated with University of Essex and other places

Publications (3)

Conference Paper
We outline the Brave system: a Horn-clause language Brave, a dialect of Prolog designed for OR-parallel execution, plus meta-Brave, containing extra-logical features. Brave has been stripped of Prolog's cut, assert and retract, enforcing a declarative programming style which enables easier parallelisation. However, we need replacements for those pr...
Conference Paper
We present the Brave system which consists of the simple Horn-clause language Brave, a dialect of Prolog designed for OR-parallel execution, plus meta-Brave, which contains the extra-logical features and executes sequentially. Pure Brave has been stripped of Prolog's assert and retract, control features like cut and side-effect predicates like writ...

Citations

... Also, new built-in predicates were introduced to give priority to proof paths of Prolog execution [13,14], but with rather unclear declarative semantics. A similar approach to ours, is presented in [15], but with a pre-fixed directive for best-first search only. ...