Stop the war!
Остановите войну!
for scientists:
default search action
Journal of Logic Programming, Volume 6
Volume 6, Numbers 1&2, January/March 1989
- Seif Haridi, Robert Keller:
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming. 1-2 - Jean H. Gallier, Stan Raatz:
Extending SLD Resolution to Equational Horn Clauses using E-Unification. 3-43 - Edward W. Elcock:
Prolog: Subsumption of Equality Axioms by the Homogeneous Form. 45-56 - N. Alan Josephson, Nachum Dershowitz:
An Implementation of Narrowing. 57-77 - Dale Miller:
A Logical Analysis of Modules in Logic Programming. 79-108 - Allen Van Gelder:
Negation as Failure using Tight Derivations for General Logic Programs. 109-133 - Maurice Bruynooghe, Danny De Schreye, Bruno Krekels:
Compiling Control. 135-162 - Leon Sterling, Randall D. Beer:
Metainterpreters for Expert System Construction. 163-178 - Jonathan W. Mills:
A High-Performance Low Risc Machine for Logic Programming. 179-212
Volume 6, Number 3, May 1989
- R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan:
Term Matching on Parallel Computers. 213-228 - Arthur L. Delcher, Simon Kasif:
Some Results on the Complexity of Exploiting Data Dependency in Parallel Logic Programs. 229-241 - Ehud Shapiro:
Or-Parallel Prolog in Flat Concurrent Prolog. 243-267 - Mark Wallace:
A Computable Semantics for General Logic Programs. 269-297
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.