summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-19 21:22:39 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-19 21:22:39 +0200
commit5c49ea4fbedb104ba50f45ad7203824161e97d77 (patch)
tree4fd8b1bdb1ae32e35bae7cc60fadb56279ae88ba
parent8bb41864af5f46fd70dbc0cedcdbb2396a798ca2 (diff)
Descriptions of Prolog sections added.
-rw-r--r--prolog/problems/clp_fd/en.py2
-rw-r--r--prolog/problems/clp_fd/sl.py2
-rw-r--r--prolog/problems/clp_r/en.py2
-rw-r--r--prolog/problems/clp_r/sl.py2
-rw-r--r--prolog/problems/dcg/en.py2
-rw-r--r--prolog/problems/dcg/sl.py2
-rw-r--r--prolog/problems/denotational_semantics/en.py4
-rw-r--r--prolog/problems/denotational_semantics/sl.py2
-rw-r--r--prolog/problems/family_relations/en.py4
-rw-r--r--prolog/problems/family_relations/sl.py2
-rw-r--r--prolog/problems/license_plates/en.py2
-rw-r--r--prolog/problems/license_plates/sl.py2
-rw-r--r--prolog/problems/lists/en.py2
-rw-r--r--prolog/problems/lists/sl.py2
-rw-r--r--prolog/problems/old_exams/en.py2
-rw-r--r--prolog/problems/old_exams/sl.py2
-rw-r--r--prolog/problems/other/en.py2
-rw-r--r--prolog/problems/other/sl.py2
-rw-r--r--prolog/problems/sets/en.py2
-rw-r--r--prolog/problems/sets/sl.py2
-rw-r--r--prolog/problems/sorting/en.py2
-rw-r--r--prolog/problems/sorting/sl.py2
-rw-r--r--prolog/problems/trees/en.py2
-rw-r--r--prolog/problems/trees/sl.py2
24 files changed, 26 insertions, 26 deletions
diff --git a/prolog/problems/clp_fd/en.py b/prolog/problems/clp_fd/en.py
index d6b7580..bdfafbc 100644
--- a/prolog/problems/clp_fd/en.py
+++ b/prolog/problems/clp_fd/en.py
@@ -1,2 +1,2 @@
name = 'CLP(FD)'
-description = ''
+description = 'Constraint Logic Programming paradigm, working with finite domains (FD).'
diff --git a/prolog/problems/clp_fd/sl.py b/prolog/problems/clp_fd/sl.py
index d6b7580..5c1147e 100644
--- a/prolog/problems/clp_fd/sl.py
+++ b/prolog/problems/clp_fd/sl.py
@@ -1,2 +1,2 @@
name = 'CLP(FD)'
-description = ''
+description = 'Programiranje z omejitvami, delo s končnimi (celoštevilskimi) domenami.'
diff --git a/prolog/problems/clp_r/en.py b/prolog/problems/clp_r/en.py
index 639d9a6..6289bbf 100644
--- a/prolog/problems/clp_r/en.py
+++ b/prolog/problems/clp_r/en.py
@@ -1,2 +1,2 @@
name = 'CLP(R)'
-description = ''
+description = 'Constraint Logic Programming paradigm, working with real numbers (R).'
diff --git a/prolog/problems/clp_r/sl.py b/prolog/problems/clp_r/sl.py
index 639d9a6..86ff2c9 100644
--- a/prolog/problems/clp_r/sl.py
+++ b/prolog/problems/clp_r/sl.py
@@ -1,2 +1,2 @@
name = 'CLP(R)'
-description = ''
+description = 'Programiranje z omejitvami, delo z realnimi števili.'
diff --git a/prolog/problems/dcg/en.py b/prolog/problems/dcg/en.py
index 454987c..043a9f5 100644
--- a/prolog/problems/dcg/en.py
+++ b/prolog/problems/dcg/en.py
@@ -1,2 +1,2 @@
name = 'Definite clause grammars (DCG)'
-description = ''
+description = 'Composing and testing grammars, from simple to quite realistic ones; the basis for compilers.'
diff --git a/prolog/problems/dcg/sl.py b/prolog/problems/dcg/sl.py
index 6a399ca..2e5a381 100644
--- a/prolog/problems/dcg/sl.py
+++ b/prolog/problems/dcg/sl.py
@@ -1,2 +1,2 @@
name = 'Gramatike (DCG)'
-description = ''
+description = 'Sestavljanje in testiranje gramatik, od preprostih do precej realističnih; podlaga za prevajalnike.'
diff --git a/prolog/problems/denotational_semantics/en.py b/prolog/problems/denotational_semantics/en.py
index 6b3ac64..418b1e7 100644
--- a/prolog/problems/denotational_semantics/en.py
+++ b/prolog/problems/denotational_semantics/en.py
@@ -1,2 +1,2 @@
-name = 'Family relations'
-description = ''
+name = 'Denotational semantics'
+description = 'Adding meaning to grammars, writing a simple compiler for Algol-like programming language.'
diff --git a/prolog/problems/denotational_semantics/sl.py b/prolog/problems/denotational_semantics/sl.py
index f5adadb..d0e8f1e 100644
--- a/prolog/problems/denotational_semantics/sl.py
+++ b/prolog/problems/denotational_semantics/sl.py
@@ -1,2 +1,2 @@
name = 'Denotacijske semantike'
-description = ''
+description = 'Dodajanje pomena gramatikam, pisanje preprostega prevajalnika za programski jezik algolskega tipa.'
diff --git a/prolog/problems/family_relations/en.py b/prolog/problems/family_relations/en.py
index 18bc313..dd8f6d6 100644
--- a/prolog/problems/family_relations/en.py
+++ b/prolog/problems/family_relations/en.py
@@ -1,2 +1,2 @@
-name = 'Denotational semantics'
-description = ''
+name = 'Family relations'
+description = 'First steps in Prolog, defining rules for various family relations.'
diff --git a/prolog/problems/family_relations/sl.py b/prolog/problems/family_relations/sl.py
index f717912..fafdeef 100644
--- a/prolog/problems/family_relations/sl.py
+++ b/prolog/problems/family_relations/sl.py
@@ -1,2 +1,2 @@
name = 'Družinske relacije'
-description = ''
+description = 'Prvi koraki v prologu, pisanje pravil za različne družinske relacije.'
diff --git a/prolog/problems/license_plates/en.py b/prolog/problems/license_plates/en.py
index 71b838f..39ee505 100644
--- a/prolog/problems/license_plates/en.py
+++ b/prolog/problems/license_plates/en.py
@@ -1,2 +1,2 @@
name = 'License plates'
-description = ''
+description = 'A bit larger exercise encompassing working with lists, arithmetic, types in Prolog, composing expressions, negation, and more.'
diff --git a/prolog/problems/license_plates/sl.py b/prolog/problems/license_plates/sl.py
index 047645b..9abbb79 100644
--- a/prolog/problems/license_plates/sl.py
+++ b/prolog/problems/license_plates/sl.py
@@ -1,2 +1,2 @@
name = 'Registrske tablice'
-description = ''
+description = 'Malo večja naloga, ki obsega delo s seznami, aritmetiko, tipi v prologu, sestavljanju izrazov, negacijo in še čim.'
diff --git a/prolog/problems/lists/en.py b/prolog/problems/lists/en.py
index 1a03130..3306303 100644
--- a/prolog/problems/lists/en.py
+++ b/prolog/problems/lists/en.py
@@ -1,2 +1,2 @@
name = 'Lists'
-description = ''
+description = 'Working with lists, lots of recursion.'
diff --git a/prolog/problems/lists/sl.py b/prolog/problems/lists/sl.py
index 0d24a36..9b29fff 100644
--- a/prolog/problems/lists/sl.py
+++ b/prolog/problems/lists/sl.py
@@ -1,2 +1,2 @@
name = 'Seznami'
-description = ''
+description = 'Delo s seznami, poudarek na rekurziji.'
diff --git a/prolog/problems/old_exams/en.py b/prolog/problems/old_exams/en.py
index e33377d..08e1254 100644
--- a/prolog/problems/old_exams/en.py
+++ b/prolog/problems/old_exams/en.py
@@ -1,2 +1,2 @@
name = 'Past exam exercises'
-description = ''
+description = 'Miscellaneous exercises from past exams, various topics.'
diff --git a/prolog/problems/old_exams/sl.py b/prolog/problems/old_exams/sl.py
index 210e6f9..f9d4e38 100644
--- a/prolog/problems/old_exams/sl.py
+++ b/prolog/problems/old_exams/sl.py
@@ -1,2 +1,2 @@
name = 'Naloge z izpitov'
-description = ''
+description = 'Naloge s starih izpitov, različne vsebine.'
diff --git a/prolog/problems/other/en.py b/prolog/problems/other/en.py
index a7ca054..e6a147a 100644
--- a/prolog/problems/other/en.py
+++ b/prolog/problems/other/en.py
@@ -1,2 +1,2 @@
name = 'Miscellaneous'
-description = ''
+description = 'Miscellaneous exercises for practice.'
diff --git a/prolog/problems/other/sl.py b/prolog/problems/other/sl.py
index 07fd915..e108d03 100644
--- a/prolog/problems/other/sl.py
+++ b/prolog/problems/other/sl.py
@@ -1,2 +1,2 @@
name = 'Razno'
-description = ''
+description = 'Različne naloge za vajo.'
diff --git a/prolog/problems/sets/en.py b/prolog/problems/sets/en.py
index 9745f9f..c27a431 100644
--- a/prolog/problems/sets/en.py
+++ b/prolog/problems/sets/en.py
@@ -1,2 +1,2 @@
name = 'Sets'
-description = ''
+description = 'Working with sets, represented as lists; negation and cut (!) in Prolog.'
diff --git a/prolog/problems/sets/sl.py b/prolog/problems/sets/sl.py
index e335524..2d593a8 100644
--- a/prolog/problems/sets/sl.py
+++ b/prolog/problems/sets/sl.py
@@ -1,2 +1,2 @@
name = 'Množice'
-description = ''
+description = 'Delo z množicami predstavljenimi s seznami; negacija in rez (!) v prologu.'
diff --git a/prolog/problems/sorting/en.py b/prolog/problems/sorting/en.py
index 42aaf7d..7b13ff8 100644
--- a/prolog/problems/sorting/en.py
+++ b/prolog/problems/sorting/en.py
@@ -1,2 +1,2 @@
name = 'Sorting'
-description = ''
+description = 'Implementation of sorting algorithms; lists, arithmetics, recursion.'
diff --git a/prolog/problems/sorting/sl.py b/prolog/problems/sorting/sl.py
index 6937117..48ffbf4 100644
--- a/prolog/problems/sorting/sl.py
+++ b/prolog/problems/sorting/sl.py
@@ -1,2 +1,2 @@
name = 'Sortiranje'
-description = ''
+description = 'Implementacija sortirnih algoritmov; seznami, aritmetika in rekurzija.'
diff --git a/prolog/problems/trees/en.py b/prolog/problems/trees/en.py
index 5726ed5..125ea54 100644
--- a/prolog/problems/trees/en.py
+++ b/prolog/problems/trees/en.py
@@ -1,2 +1,2 @@
name = 'Trees'
-description = ''
+description = 'Working with trees; structures in Prolog.'
diff --git a/prolog/problems/trees/sl.py b/prolog/problems/trees/sl.py
index fd13202..db9166a 100644
--- a/prolog/problems/trees/sl.py
+++ b/prolog/problems/trees/sl.py
@@ -1,2 +1,2 @@
name = 'Drevesa'
-description = ''
+description = 'Delo z drevesi; strukture v prologu.'