| 1991 | An Overview of Prolog Standardization - Progress, Problems and Solutions. | Roger S. Scowen |
| 1991 | Computing Abduction by Using the TMS. | Ken Satoh, Noboru Iwayama |
| 1991 | Full First Order Logic Programming and Truth Predicate. | Taisuke Sato |
| 1991 | Logic Programming for Language Processing. | Patrick Saint-Dizier |
| 1991 | An Algebraic Semantics of Prolog Program Termination. | Brian J. Ross, Alan Smaill |
| 1991 | A Semantic Approach to Prolog Program Analysis. | Brian J. Ross |
| 1991 | Specifications as Search Keys for Software Libraries. | Eugene J. Rollins, Jeannette M. Wing |
| 1991 | Logic Programming at IBM: From the Lab to the Customer. | Bernard J. Robinet |
| 1991 | A Set of Tools for VHDL Design. | Peter B. Reintjes |
| 1991 | A Rule-oriented FSM Design System with Prototyping Capabilities. | M. Puchhammer, R. Schlglhofer |
| 1991 | Well-Founded Completions of Logic Programs. | Teodor C. Przymusinski |
| 1991 | Logic Programming Environments. | Antnio Porto |
| 1991 | Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |
| 1991 | Nonmonotonic Reasoning with Well Founded Semantics. | Lus Moniz Pereira, Joaquim Nunes Aparcio, Jos Jlio Alferes |
| 1991 | NUA-Prolog: An Extension to the WAM for Parallel Andorra. | Doug Palmer, Lee Naish |
| 1991 | A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. | Raymond T. Ng, V. S. Subrahmanian |
| 1991 | Verification of Logic Programs and Imperative Programs. | Lee Naish |
| 1991 | Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. | Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1991 | Performances of Aurora on NUMA Machines. | Shyam Mudambi |
| 1991 | Lexical Logic Programs. | Yael Moscowitz, Ehud Shapiro |
| 1991 | KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. | Remco Moolenaar, Henk Van Acker, Bart Demoen |
| 1991 | Perfect Relaxation in Constraint Logic Programming. | Ugo Montanari, Francesca Rossi |
| 1991 | Real-size Compiler Writing Using Prolog with Arrows. | Jean-Franois Monin |
| 1991 | Logics for Logic Programming: A Tutorial. | Dale Miller |
| 1991 | Unification of Simply Typed Lamda-Terms as Logic Programming. | Dale Miller |