A Linear Logic Programming Language with Parallel and Sequential Conjunction.
Paola BruscoliAlessio GuglielmiPublished in: GULP-PRODE (1995)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- declarative semantics
- parallel processing
- logic programs
- search space
- temporal reasoning
- training data
- machine learning
- data mining
- general purpose
- programming language
- search algorithm
- answer set programming
- constraint propagation
- databases