Software používaný při výuce a další volně dostupné možnosti:

• Zde najdete podrobnější informaci o instalaci apod.
• Přehled softwaru vhodného pro experimentování s constraint-based gramatikami spolu s výukovými materiály a odkazy najdete zde: Detmar Meurers, Gerald Penn, and Frank Richter A Web-based Instructional Platform for Constraint-based Grammar Formalisms and Parsing
• QPATR - zazipovaný soubor 282 kB, volně šiřitelná implementace formalismu PATR pro MS-DOS, funguje téměř na každém PC
• PC-PATR - novější a přátelštější implementace formalismu PATR pro MS-DOS, Microsoft Windows, Macintosh a Unix, spolupracuje s morfologickým analyzátorem PC-Kimmo
• SICStus Prolog - pro účastníky kursu je k dispozici prezenčně nebo k práci po síti, manuál najdete zde
  
• SWI Prolog - zdarma pro školství a výzkum, pro Unix a MS Windows 95/98/NT
• OpenProlog - nejoblíbenější implementace Prologu pro MacOS
• Attribute-Logic Engine (ALE) - vyžaduje SICStus Prolog, funguje i s SWI Prologem; pro účastníky kursu je k dispozici prezenčně nebo k práci po síti. Stačí-li vám řádkový režim, připojte se a spusťte ALE příkazem "ale". Práci s ALEm v řádkovém režimu si můžete usnadnit příkazovými makry, která jsou k dispozici zde. Pohodlnější je to ale pomocí ALE-Emacs Interface: po přihlášení si zřiďte grafický interface (pokud možno na vlastní účet) a příkazem "mule" otevřete emacsové prostředí. ALE-Emacs Interface se načte automaticky, pokud první řádek vaší gramatiky vypadá takto:
  % -*-ale-prolog-*-
  Více o ALE-Emacs Interface najdete zde. K zvládnutí ALE-u lze doporučit kurs "HPSG Grammars in ALE" od Colina Mathesona, který je stále k dispozici zde
• TRALE - rozšíření ALE, další informace najdete zde, viz též stránka kursu Detmara Meurerse Constraint-based Grammar Implementation
  
• ConTroll - pro účastníky kursu je k dispozici prezenčně nebo k práci po síti
• LKB - beta verze, dodává se s gramatikou podle učebnice Sag a Wasow 1999; tento software byl vytvořen v rámci projektu LinGO.
  A tady najdete "Various grammars, large and small, implemented in the LKB; including two series of grammar engineering exercises used in courses taught at ESSLLI 1998 and 2000, respectively."