T. J. Reynolds's research while affiliated with University of Essex and other places
What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
Publications (3)
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...
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...
An abstract is not available.
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. ...
![[object Object]](https://i1.rgstatic.net/ii/profile.image/272386054422566-1441953304528_Q64/Petros-Kefalas.jpg)
