A Visual Logic Programming Language Based on Sets and Partitioning Constraints.
Lindsey L. SprattAllen L. AmblerPublished in: VL (1993)
Keyphrases
- logic programming language
- constraint logic programming
- logic programming
- constraint solving
- situation calculus
- constraint sets
- inference rules
- visual information
- declarative semantics
- low level
- answer set programming
- visual features
- high level
- constraint programming
- global constraints
- logic programs
- probability distribution
- xml documents
- training data