Multiway Merge with Constant Delay in Concurrent Prolog.
Ehud ShapiroShmuel SafraPublished in: New Gener. Comput. (1986)
Keyphrases
- logic programming
- expert systems
- prolog programs
- programming language
- knowledge representation
- abstract machine
- logic programming language
- natural language
- information retrieval
- databases
- hierarchical reinforcement learning
- lower bound
- theorem proving
- neural network
- mutual exclusion
- backward chaining
- binary trees
- semantically equivalent
- data sets