Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Toward a comprehensive, knowledge-based software design course
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges
A Guide for Manual Construction of Difference-List Procedures
Applications of Declarative Programming and Knowledge Management
| Hi-index | 0.00 |
From the Publisher:The goal of logic programming is to provide a higher level formalism, in which the solution is represented using a formal representation that was in use before computers were invented: logic. The present volume starts with an explanation of how logic may be used as a programming language, and then explains the practical limitations that at present restrict logic programmers to the use of the subset of logic embodied in the Prolog programming language. Enhancements to Prolog that compensate for the weakness of its underlying logic, but compromise the purity of the language, are then introduced.