← Back to branch summary

~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to docs/userman/nmr.tex

  • Committer: Michael R. Head
  • Date: 2006-09-06 22:11:55 UTC
  • Revision ID: burner@n23-20060906221155-7e398d23438a7ee4
Add the files from the 3.0.1 release package

Show diffs side-by-side

added added

removed removed

Lines of Context:
docs/userman/nmr.tex
 
1
\chapter{Libraries for Non-Monotonic and Quantitative Reasoning} \label{library_nmr}
 
2
%====================================================
 
3
 
 
4
This chapter describes libraries, preprocessors and meta-interpreters
 
5
for non-monotonic reasoning.  We note that the implementation of FLORA
 
6
\index{FLORA} provides sophisticated capabilities for non-monotonic
 
7
reasoning and is described in a separate manual obtainable from {\tt
 
8
xsb.sourceforge.net}.
 
9
 
 
10
\input{xnmr}
 
11