- Brian J. Ross:
Using Algebraic Semantics for Proving Prolog termination and Transformation. ALPUK 1991: 135-155 - Roger S. Scowen:
The Predicate consult/1 - A Problem in Prolog Standardisation. ALPUK 1991: 206-215 - 1990
- Edward Babb:
Metalevel and Constraint Technology in a Pure Logic Language. ALPUK 1990: 1-21 - Paul Brna, Alan Bundy, Helen Pain:
A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. ALPUK 1990: 22-55 - Andrew Casson:
Event Abstraction Debuggers for Layered Systems in Prolog. ALPUK 1990: 56-74 - Subrata Kumar Das, M. Howard Williams:
Extending the Integrity Maintenance Capability in Deductive Databases. ALPUK 1990: 75-111 - Yves Deville, Pascal Van Hentenryck:
Construction of CLP Programs. ALPUK 1990: 112-135 - Phil W. Grant, C. P. Jobling, C. Rezvani:
Some Control Engineering Applications of Prolog. ALPUK 1990: 136-158 - Keith Harrison:
GAP: An Exercise in Model Oriented Programming. ALPUK 1990: 159-172 - Ron Knott:
Using Prolog to Animate Mathematics. ALPUK 1990: 173-188 - Chris Mellish:
Term-Encodable Description Spaces. ALPUK 1990: 189-207 - Chris Moss:
Logic, Language and the Quest for Intelligence. ALPUK 1990: 208-226 - S. M. S. Syed-Mustaffa:
A Model for OR-Parallel Prolog Execution using Graph Reduction. ALPUK 1990: 227-252 - Hamish Taylor:
Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming. ALPUK 1990: 253-281 - Jiwei Wang, Simon H. Lavington:
The Wivenhoe Computational Model: In Search of More Parallelisms. ALPUK 1990: 282-310