Travelled to:3 × USA
Collaborated with:D.W.Loveland D.W.Reed
Talks about:prolog (2) interpret (1) implement (1) character (1) disjunct (1) program (1) altern (1) simpl (1) logic (1) near (1)
Person: Bruce T. Smith
DBLP: Smith:Bruce_T=
Contributed to:
1991
19881988Wrote 3 papers:
- ISLP-1991-ReedLS #logic programming #source code
- An Alternative Characterization of Disjunctive Logic Programs (DWR, DWL, BTS), pp. 54–68.
- CADE-1988-SmithL #implementation #prolog
- An nH-Prolog Implementation (BTS, DWL), pp. 766–767.
- JICSCP-1988-SmithL88 #interpreter #prolog
- A Simple Near-Horn Prolog Interpreter (BTS, DWL), pp. 794–809.