Grammaire catégorielle (version de base)

Dans cette version, les catégories seront combinées entre elles par les trois opérateurs classiques (/, $\backslash$, .). L'algorithme utilisé est un algorithme ascendant. On utilise deux règles ( $(x/y).y \to x$ et $y.(x\backslash y) \to x$) pour reconstituer la catégorie `s'. On ne se préoccupe ici que du problème de reconstruction de la structure de la phrase. Le moteur de recherche avec retour arrière de Prolog permet d'écrire simplement cet analyseur. Le but de cette partie est de fournir un programme qui cherche la structure d'une phrase et affiche les différentes étapes du calcul.