Alpuk 91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
Geraint A. Wiggins, Christopher S. Mellish, Tim Duncan
Springer-Verlag, 1992 - Computers - 215 pages
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.
12 pages matching database and Q in this book
Results 1-3 of 12
What people are saying - Write a review
We haven't found any reviews in the usual places.
Towards Implementing Prolog on Massively Parallel Mixed
Speculative Computation and Priorities in Concurrent Logic
Distributed Logic Programming
11 other sections not shown
agent algebra algorithm answer derivation answer for Q answer substitutions application arguments backtracking behavior binding circuit clause logic Clocksin complex query concurrent logic constraint logic programming constraint solving constraint system consult/1 coupled systems data structure database and Q database goal database set predicates database system Dataflow Datalog defined definite clause definite query denotational semantics denote described domain domain theory evaluation event driven simulation example execution expressed Figure filters formulas Fregean function higher-order control Horn clauses implementation input instantiated interaction logic program interactive clause interface interpretation knowledge representation logic language logic programming language logical conjunction magic predicates mapping net-clause operational semantics order answer order database order query output parallel problem procedure program transformations Prolog Prolog programs Qi and Q2 recursive represent representation restriction rules Section sequence sequential sets of substitutions subgoal techniques termination Theorem tion token tree tuple unification values variables