E. W. Elcock - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

1991

Absys, the First Logic-Programming Language: A View of the Inevitability of Logic ProgrammingE. W. Elcock. BIRTHDAY 1991: 701-721

1990

Absys: The First Logic Programming Language - A Retrospective and a CommentaryE. W. Elcock. jlp, 9(1):1-17, 1990.

1989

Prolog: Subsumption of Equality Axioms by the Homogeneous FormE. W. Elcock. jlp, 6(1&2):45-56, 1989.

Absys: The Historical Inevitability of Logic ProgrammingE. W. Elcock. SLP 1989: 1201-1214

1987

Triangular decompositionE. W. Elcock, Irene Gargantini, T. R. Walsh. ivc, 5(3):225-231, 1987. [doi]

1986

Comments on Kornfeld s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search StrategyE. W. Elcock, P. Hoddinott. AAAI 1986: 766-777

PROLOG: Subsumption of Equality Axioms by the Homogeneous FormP. Hoddinott, E. W. Elcock. SLP 1986: 115-126

1983

Experiences in the establishment of a microcomputer support laboratoryJ. Michael Bennett, E. W. Elcock. siguccs 1983: 45-54 [doi]

How Complete Are Knowledge-Representation Systems?E. W. Elcock. Computer, 16(10):114-118, 1983.

The Pragmatics of Prolog: Some CommentsE. W. Elcock. ICLP 1983: 94-106 [doi]

Knowledge Representation in an Efficient Deductive Inference SystemE. P. Stabler Jr., E. W. Elcock. ICLP 1983: 216-228 [doi]

1972

Data directed control and operating systemsE. W. Elcock, J. J. McGregor, A. M. Murray. cj, 15(2):125-129, 1972. [doi]

1965

Note on the addressing of lists by their source-language namesE. W. Elcock. cj, 8(3):242-243, 1965. [doi]

Sign in or sign up to see more results.

runs on WebDSL