Abstract
dc:description.abstractIn this thesis constraint solving/satisfaction is presented as a model of computation. Advantages of using constraints as a paradigm of programming are presented. A semantic schema for constraint based computations is given, following a brief survey of the more important systems based on constraints. These systems range from particular algorithms to problem solvers to constraint based general purpose programming languages. Finally, constraint satisfaction is applied to logic programming and theorem proving. It is shown that incorporating constraint solving in definite clause programs enhances their expressive power. Also, an alternative semantics - based on constraint satisfaction - is given for theorem proving.
Degree
thesis:*- Name thesis:degree_name
- Master of Science
- Level thesis:degree_level
- masters
- Discipline thesis:degree_discipline
- Computer Science and Applications
- Department dc:contributor.department
- Computer Science and Applications
- Grantor dc:publisher
- Virginia Tech
- Year dc:date.issued
- 1987
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Mantha, Suryanarayana M.
- Chair dc:contributor.committeechair
-
- Roach, John W.
- Committee members dc:contributor.committeemember
-
- Lee, John A. N.
- Bixler, J. Patrick
Rights
dc:rights- Statement dc:rights
-
- In Copyright
- Licence dc:rights.uri
Identifiers
dc:identifier.*- Dc Identifier Other
- etd-11172012-040118
- OAI identifier oai:identifier
- oai:vtechworks.lib.vt.edu:10919/45784