Sequential architecture models for Prolog: A performance comparison Mark KorslootHans Mulder Special Issue Pages: 201 - 219
The &-Prolog system: Exploiting independent and-parallelism M. V. HermenegildoK. J. Greene Special Issue Pages: 233 - 256
Incremental search in Constraint Logic Programming Pascal Van HentenryckThierry Le Provost Special Issue Pages: 257 - 275
The derivation of an algorithm for program specialisation John GallagherMaurice Bruynooghe Special Issue Pages: 305 - 333
Classical negation in logic programs and disjunctive databases Michael GelfondVladimir Lifschitz Special Issue Pages: 365 - 385
A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics François Fages Special Issue Pages: 425 - 443
Linear objects: Logical processes with built-in inheritance Jean-Marc AndreoliRemo Pareschi Special Issue Pages: 445 - 473