Instructors' Guide

Introduction Terminology Expressions Control Objects Inheritance Technology Summary


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

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.