Journal of Logic Programming (0) |
- Goguen, J. A. and Meseguer, J. (1984) Goguen, J. A. and Meseguer, J. "Equality, Types, Modules, and (why not?) Generics for Logic Programming" pp179-210
- (1984) Journal of Logic Programming 1(2) Aug 1984
- Fribourg, Laurent (1984)Fribourg, Laurent "Oriented equational clauses as a programming language" pp165-177
- (1985) J Logic Prog 2(1) (1985)
- Clark K.L. and Gregory, S. (1985)Clark K.L. and Gregory, S. "Notes on the implementation of PARLOG", pp17-42
- Clark K.L. et al, (1985)Clark K.L. et al, "Notes on the Implementation of Parlog"
- (1985) J Logic Prog 2(4) (1985)
- Gabbay, D.M. (1985)Gabbay, D.M. "N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure"
- (1986) J Logic Programming 3(3) 1986
- Ait-Kaci, H. et al, (1986)Ait-Kaci, H. et al, "LOGIN: A Logic Programming Language with Built-In Inheritance", pp185-215
- Journal of Logic Programming Vol. (1999) Journal of Logic Programming Vol. 40 (2-3) (1999)
- Boström H. and Idestam-Almquist P., (1999)Boström H. and Idestam-Almquist P., "Induction of Logic Programs by Example-Guided Unfolding" 159-183
|
|