Stem slog$ (all stems)
1 papers:
SLP-1985-Fribourg85 #interpreter #logic programming #named #programming language- SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.
SLP-1985-Fribourg85 #interpreter #logic programming #named #programming language