Instructors' Guide
Introduction
Terminology
Expressions
Control
Objects
Inheritance
Technology
Summary
Technology
Logic programming offers a wealth of techniques.
In particular, the meta programming facilities
(which are essentially based on the interpretation
of programs as data) allow for very powerful
programming techniques.
See, for example, [Bratko].
Techniques -- logic
- meta programming
- active intelligent agents
slide: DLP -- technology
By virtue of being an extension of Prolog,
DLP inherits these facilities.
In addition, DLP provides the constructs necessary
to define what may be called (active)
intelligent agents,
of which the functionality can be specified
in a declarative, logic-based fashion.
DLP, in other words, is an example of a fruitful
combination of paradigms,
merging logic with object orientation.