A Layer on Top of Prolog for Composing Behavioural Constraints.
Tommaso BolognesiFranco AccordinoPublished in: Softw. Pract. Exp. (1998)
Keyphrases
- expert systems
- logic programming
- constraint satisfaction
- constrained optimization
- knowledge base
- prolog programs
- data sets
- constraint logic programming
- constraint solving
- mixed integer
- geometric constraints
- theorem proving
- constraint programming
- information systems
- learning algorithm
- data mining
- neural network
- databases