Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog.
Miguel AreiasRicardo RochaPublished in: Concurr. Comput. Pract. Exp. (2019)
Keyphrases
- multi dimensional
- logic programming
- logic programming language
- logic programs
- range queries
- index structure
- expert systems
- multi dimensional data
- programming language
- concurrency control
- knowledge representation
- data structure
- high level
- multiple dimensions
- knowledge base
- situation calculus
- answer set programming
- multi user
- inference engine
- practical problems
- bitmap indices
- mutual exclusion
- data sets
- abstract machine
- constraint logic programming
- data cube
- sequential patterns
- virtual environment
- neural network