Teaching

Teaching, tutorial materials.

Contents

• Implementation and DCGs

• CHIC Methodology

• LP Pruning Tutorial

• Oz Tutorial

• AI Course Material

• Prolog Course via the Internet