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 |