// FILE. . . . . /home/hak/hlt/src/hlt/osf/v0/sources/OsfV0.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hp-Dv7
// STARTED ON. . Mon Nov 05 17:49:41 2012

/**
 *
 * @version     Last modified on Thu Dec 27 12:21:58 2012 by hak
 * @author      <a href="mailto:hak@acm.org">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; <a href="http://www.hassan-ait-kaci.net/">by the author</a>
 *
 * <p>
 * 
 * This is "<bf>OSF Version 0</bf>" defining a simple OSF constraint
 * language. It follows the main lines of the <a
 * href="../../../../specs/basic.html">basic specification</a>. 
 *
 * <p>
 *
 * This language consists of a bare-bone syntax and operational
 * semantics for order-sorted feature (OSF) terms - also known as
 * &psi;-terms - and basic operations for them.  It first focuses on
 * defining a multiple-inheritance concept hierarchy of sort symbols. It
 * implements the machinary for compiling these sorts into binary codes
 * to optimize lattice operations on them. This will be used in later
 * versions when implementing &psi;-terms unification and
 * generalisation.  <p>
 *
 * Essentially, this simple language is meant as an initial prototype
 * for declaring a sort lattice, implementing binary encoding of sort
 * ordering using bit vectors, evaluation of sort expressions, and
 * reading and pretty-printing &psi;-terms. It also offers interactive
 * pragmas for exploring a sort hierarchy. This initial version does not
 * support OSF term unification or generalisation, term disjunction nor
 * negation yet (other than on sort symbols), no residuation, no OSF
 * theories, and no monoidal aggregation. It does not provide rules
 * either (whether logic programming or functional rewriting). Also, the
 * &psi;-terms are kept in their original labelled-graph form
 * (<i>i.e.</i>, they are not dissolved into basic OSF constraints). All
 * this will come gradually in later versions extending this basic one.
 *
 */

/* ************************************************************************ */

/**
 * Import the grammar file <tt><a
 * href="OsfV0Grammar.html">OsfV0Grammar.grm</a></tt>
 */

%include OsfV0Grammar.grm

/* ************************************************************************ */