- pl desc

Changed files:
    otter.spec -> 1.3

1 files changed, 19 insertions, 0 deletions

diff --git a/otter.spec b/otter.spec
index 6d60418..d56d8cd 100644
--- a/otter.spec
+++ b/otter.spec
@@ -33,6 +33,25 @@ answer many open questions in the areas of finite semigroups, ternary
 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