s inherited from class CiaoJava.<A HREF="../CiaoJava/PLTerm.html" title="class in CiaoJava">PLTerm</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../CiaoJava/PLTerm.html#fail">fail</A>, <A HREF="../CiaoJava/PLTerm.html#nil">nil</A>, <A HREF="../CiaoJava/PLTerm.html#success">success</A></CODE></TD>
</TR>
</TABLE>
&nbsp;
<!-- ======== CONSTRUCTOR SUMMARY ======== -->

<A NAME="constructor_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUM