Part II: CGs


Part II is about writing knowledge bases in Prolog+CG.

The goal is to be able to write a simple knowledge base in Prolog+CG, using:

  • a type hierarchy,
  • a catalog of instances, and
  • conceptual graphs.

In order to meet this goal, we will cover a little bit of Prolog. This will be covered in a chapter by itself, after the main material on CGs. The main material will have lots of links to this chapter. Refer to it whenever you need to.

Part II will only cover enough Prolog to enable you to write knowledge bases. More advanced Prolog topics will be left for Part III.


The first chapter looks at concept types and instances.

PrevLite: 11.5 Quiz: Rules
NextLite: 3 Concept types and instances

Prev: 2.5 Summary
Up: Table of contents
Next: 3 Concept types and instances