P-PATR: A Compiler For Unification-Based Grammars

Citation

Hirsh, S. B. (1988). P-PATR: A compiler for unification-based grammars. SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER.

Abstract

P-PATR is a compiler for unification-based grammars that is written in Quintus Prolog running on a Sun 2 workstation.  P-PATR is based on the PATR-II formalism developed at SRI International.  PATR is a simple, unification-based formalism capable of encoding a wide variety of grammars.

↓ Download

Read more from SRI

  • Banner and attendees at the IEEE Hard Tech Venture Summit

    Cultivating hard tech startups that scale

    IEEE’s Hard Tech Venture Summit convened innovators at SRI to refine strategies and build new networks.

  • Patient going into a MRI

    Bringing surgical tools inside the MRI

    Drawing on SRI’s unique innovation ecosystem, the startup Medical Devices Corner is seeking to improve cancer surgery by advancing MRI-safe teleoperation.

  • Christopher Mims and Susan Patrick

    PARC Forum: How to AI

    The Wall Street Journal tech columnist Christopher Mims and SRI Education’s Susan Patrick discuss how AI can strengthen human agency.