Logic programming as a formalism for specification and implementation of computer systems
The expressive power of logic-programming languages allows utilization of conventional constructs in development of computer systems based on logic programming. However, logic-programming languages have many novel features and capabilities. This thesis investigates how advantage can be taken of the...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
University of British Columbia
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2429/28848 |