Dynamic Clauses and Global Variables

This chapter describes predicates for manipulating dynamic clauses.

Subsections

Neng-Fa Zhou 2011-05-12