Efficient Implementation of a Linear Logic Programming Language.
Joshua S. HodasK. M. WatkinsNaoyuki TamuraKyoung-Sun KangPublished in: IJCSLP (1998)
Keyphrases
- efficient implementation
- logic programming language
- logic programming
- constraint logic programming
- active set
- inference rules
- situation calculus
- hardware implementation
- declarative semantics
- highly parallel
- artificial intelligence
- answer set programming
- constraint propagation
- constraint solving
- deductive databases
- spatial information
- special case
- bayesian networks