Home

Contents:

Part I: Foundations

Part II: CGs
 3 Concept types and instances
 4 CG syntax
 5 CG primitives
 6 Prolog for CG users
 6.1 Atoms, Strings, and Numbers
 6.2 Structures, relationships and terms
 6.3 Variables
 6.4 Facts
 6.5 Rules, Goals and Subgoals
 6.6 Clauses and predicates
 6.7 Matching
 6.8 Queries
 6.9 Lists
 7 Formalizing texts

Part III: Programming

Part IV: Peirce's rules (Ad)

Part V: Exercises

Part VI: Reference

  

6 Prolog for CG users

In this chapter, we briefly introduce key concepts from Prolog.

This is done with those people in mind who do not wish to become full-fledged Prolog programmers, but who simply want to use Prolog+CG to formalize texts.

PrevLite: 5.2.7 minComSuperType
NextLite: 6.1 Atoms, Strings, and Numbers
Prev: 5.2.7 minComSuperType
Up: Part II: CGs
Next: 6.1 Atoms, Strings, and Numbers