Processing Language with Logical Types and Active Constraints
43999Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
ConstraintLogicProgramming
Method |
combinesWith |
SLD Resolution
Method |
|
ConstraintLogicProgramming
Method |
introduces |
Constraints
Method |