SPECS: otter.spec - pl desc

[qboosh]

Author: qboosh                       Date: Sat Jun 11 23:47:34 2005 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- pl desc

---- Files affected:
SPECS:
   otter.spec (1.2 -> 1.3) 

---- Diffs:

================================================================
Index: SPECS/otter.spec
diff -u SPECS/otter.spec:1.2 SPECS/otter.spec:1.3
--- SPECS/otter.spec:1.2	Sat Jun 11 23:44:29 2005
+++ SPECS/otter.spec	Sun Jun 12 01:47:29 2005
@@ -34,6 +34,25 @@
 Boolean algebra, logic calculi, combinatory logic, group theory,
 lattice theory, and algebraic geometry.
 
+%description -l pl
+Otter jest zaprojektowany do dowodzenia twierdzeń wyrażonych w logice
+pierwszego rzędu z równościami. Reguły wnioskowania Ottera są oparte
+na rozwiązywaniu i paramodulacji; zawierają ułatwienia do
+przepisywania warunków, porządkowania warunków, dopełnienia
+Knutha-Bendiksa, ważenia oraz strategie kierunkowania i ograniczania
+wyszukiwania dowodów. Otter może być także używany jako kalkulator
+symboliczny i posiada wbudowany system programowania równań. Otter to
+system dedokcji Argonne National Laboratory czwartej generacji,
+którego przodkowie (począwszy od wczesnych lat 1960-tych) obejmowały
+serię TP, NIUTP, AURA i ITP.
+
+Aktualnie główna aplikacja Ottera to praca badawcza dotycząca
+abstrakcyjnej algebry i logiki formalnej. Otter i jego poprzedniki
+były używane do odpowiadania na wiele pytań w zakresie półgrup
+skończonych, trójkowej algebry boolowskiej, rachunków logicznych,
+logiki kombinatorycznej, teorii grup, teorii krat oraz geometrii
+algebraicznej.
+
 %package doc
 Summary:	Otter and Mace documentation
 Summary(pl):	Dokumentacja do programów Otter i Mace
@@ -103,6 +122,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.3  2005/06/11 23:47:29  qboosh
+- pl desc
+
 Revision 1.2  2005/06/11 21:44:29  qboosh
 - some pl, cosmetics
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/SPECS/otter.spec?r1=1.2&r2=1.3&f=u