default search action
3rd ALPUK 1991: Edinburgh
- Geraint A. Wiggins, Chris Mellish, Tim Duncan:
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19734-6 - Péter Kacsuk:
Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers. ALPUK 1991: 1-22 - Matthew M. Huntbach:
Speculative Computation and Priorities in Concurrent Logic Languages. ALPUK 1991: 23-35 - Zdravko Markov, Christo Dichev:
Distributed Logic Programming. ALPUK 1991: 36-55 - John Darlington, Yike Guo, Qian Wu:
A General Computational Scheme for Constraint Logic Programming. ALPUK 1991: 56-77 - Yossi Lichtenstein, Bob Welham, Ajay Gupta:
Time Representation in Prolog Circuit Modelling. ALPUK 1991: 78-93 - Chris Roast:
Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems. ALPUK 1991: 94-111 - Robert J. Gaizauskas:
Deriving Answers to Logical Queries Via Answer Composition. ALPUK 1991: 112-134 - Brian J. Ross:
Using Algebraic Semantics for Proving Prolog termination and Transformation. ALPUK 1991: 135-155 - Christoph Darxler:
Accessing Relational and NF2 Databases Through Database Set Predicates. ALPUK 1991: 156-173 - V. S. Lakshmanan, C. H. Yim:
Can Filters do Magic for Deductive Databases? ALPUK 1991: 174-189 - David Stuart Robertson:
A Simple Prolog Techniques Editor for Novice Users. ALPUK 1991: 190-205 - Roger S. Scowen:
The Predicate consult/1 - A Problem in Prolog Standardisation. ALPUK 1991: 206-215
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.
last updated on 2024-12-26 00:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: