11.4 Implementing DRT in Prolog

Now for the implementation.

• 11.4.1 DRSs in Prolog

• 11.4.2 DRS Threading

• 11.4.3 A First Example

• 11.4.4 A second example (universal quantification)

• 11.4.5 Grammar rules for discourse

• 11.4.6 Driver predicate

• 11.4.7 Pronoun Resolution

• 11.4.8 Implementing accessibility

• 11.4.9 Binding constraints

• 11.4.10 Sortal Constraints