Source

SLP

Source type: journal

Publisher:

Fully OA: No

DOAJ: No

OpenAlex ID: S4306530217

Narrowing as the Operational Semantics of Functional Languages.

1985 · Uday S. Reddy · SLP · 181

SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting.

1985 · Laurent Fribourg · SLP · 169

On the Semantics of Quantitative Logic Programs.

1987 · V. S. Subrahmanian · SLP · 156

The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues.

1987 · David H. Warren · SLP · 140

Extension Tables: Memo Relations in Logic Programming.

1987 · Suzanne W. Dietrich · SLP · 126

Towards a Theory of Types in Prolog.

1984 · Prateek Mishra · SLP · 122

Stepwise Development of Operational and Denotational Semantics for Prolog.

1984 · Neil D. Jones, Alan Mycroft · SLP · 91

Object-Oriented Programming in Prolog.

1984 · Carlo Zaniolo · SLP · 86

The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism.

1987 · Harald Westphal, Philippe A. Robert, et al. · SLP · 72

Automatic Mode Inference for Prolog Programs.

1986 · Saumya Debray, David S. Warren · SLP · 72

Towards an Algebra for Constructing Logic Programs.

1985 · Richard O’Keefe · SLP · 70

Abstract Interpretation: Towards the Global Optimization of Prolog Programs.

1987 · Maurice Bruynooghe, Gerda Janssens, et al. · SLP · 69

Logic Programming cum Applicative Programming.

1985 · Nachum Dershowitz, David A. Plaisted · SLP · 69

General Diagnosis by Abductive Inference.

1987 · Philip T. Cox, Tomasz Pietrzykowski · SLP · 62

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.

1985 · Piotr Dembiński, Jan Małuszyński · SLP · 57

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis.

1985 · Jung-Herng Chang, Alvin M. Despain · SLP · 52

Transformation of Logic Programs into Functional Programs.

1984 · Uday S. Reddy · SLP · 50

EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS.

1986 · Jorge B. Bocca · SLP · 47

Flow Analysis of Prolog Programs.

1987 · Heikki Mannila, Esko Ukkonen · SLP · 42

Restricted And-Parallelism and Side Effects.

1987 · Doug DeGroot · SLP · 42

Logic Programming: Further Developments.

1985 · Hervé Gallaire · SLP · 41

Hardware Architecture of the Sequential Inference Machine: PSI-II.

1987 · Hiroshi Nakashima, Katsuto Nakajima · SLP · 40

An Abstract KL1 Machine and Its Instruction Set.

1987 · Yasunori Kimura, Takashi Chikayama · SLP · 40

Definite Clause Translation Grammars

1984 · Harvey Abramson · SLP · 39

An Empirical Study of the Warren Abstract Machine.

1987 · H.J. Touati, Alvin M. Despain · SLP · 38

Works count: 102

Citation count: 2,920

H-index: 29

I10-index: 66

2yr mean citedness: