Artifact 3db0bef66d13ce65c2bd8e4da542417ca2dec28d7d3eea491a4998dcaadeea8e:

• Executable file r38/packages/redlog/pasfbnf.red — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1300) [annotate] [blame] [check-ins using] [more...]

% ----------------------------------------------------------------------
% $Id: pasfbnf.red,v 1.3 2003/11/05 13:27:14 lasaruk Exp $
% ----------------------------------------------------------------------
% Copyright (c) 2002 A. Dolzmann, A. Seidl, and T. Sturm
% ----------------------------------------------------------------------
% $Log: pasfbnf.red,v $
% Revision 1.3  2003/11/05 13:27:14  lasaruk
% Some major redlog programming rules applied to the code.
% Formulas are made positive acc. to the current kernel order.
%
% Revision 1.2  2003/10/16 16:17:38  lasaruk
% Compiler error messages partially removed. All others are due
% to the noncompleteness of packet.
%
% Revision 1.1  2003/05/22 22:00:58  lasaruk
% DNF added.
%

lisp <<
   fluid '(pasf_bnf_rcsid!* pasf_bnf_copyright!*);
   pasf_bnf_rcsid!* := "$Id: pasfbnf.red,v 1.3 2003/11/05 13:27:14 lasaruk Exp $";
   pasf_bnf_copyright!* :=
      "Copyright (c) 1995-2002 by A. Dolzmann, A. Seidl, and T. Sturm"
>>;

module pasfbnf;

% Methods for DNF and CNF computation

procedure pasf_sacat(a1,a2,gor);
   % Ordered field standard form subsume and cut atomic formula. [a1]
   % and [a2] are atomic formulas; [gor] is one of [or], [and].
   % Returns for the first case trivially nil.
   nil;

endmodule; % pasfbnf

end; % of file