index
:
codeq-problems.git
master
release
CodeQ problem definitions
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prolog
Age
Commit message (
Collapse
)
Author
2016-08-09
English translation for ancestor/2 and descendant/2 updated.
Aleksander Sadikov
2016-08-09
English translation for ancestor/2 and descendant/2 updated.
Aleksander Sadikov
2016-08-09
English translation for descendant/2 added.
Aleksander Sadikov
2016-08-09
Merge branch 'master' of ssh://192.168.15.97/codeq-problems
Aleksander Sadikov
2016-08-09
Add a missing import to prolog/common.py
Timotej Lazar
2016-08-09
Prolog: add a couple of test cases for rev/2
Timotej Lazar
2016-08-09
English translation for descendant/2 partially added.
Aleksander Sadikov
2016-08-08
English translation for ancestor/2 added.
Aleksander Sadikov
2016-07-05
Prolog: remove inference limit for several DCG problems
Timotej Lazar
It is reasonable to use CLP(FD) for the paren/3, number/2, number/3 and number_proper/2 problems; the inference limit prevented some tests from succeeding.
2016-05-29
Prolog: add slo. group description for algol
Timotej Lazar
2016-05-29
Denotational semantics, part #2 (mini algol): tests and translations added.
Aleksander Sadikov
2016-05-29
Prolog: add initial programs for algol problems
Timotej Lazar
2016-05-29
Prolog: make algol problems visible
Timotej Lazar
2016-05-25
Prolog: add a test case for dcg/paren_2
Timotej Lazar
2016-05-22
Denotational semantics, part #1: tests and translations added.
Aleksander Sadikov
2016-05-22
Prolog: update initial code for denotational_semantics problems
Timotej Lazar
2016-05-22
Prolog: update denotational_semantics problems
Timotej Lazar
2016-05-18
Prolog: add introduction for DCG group
Timotej Lazar
2016-05-18
Prolog: remove language hint about lowercase vars
Timotej Lazar
These hints are not appropriate for DCG exercises.
2016-05-16
Prolog: fix a typo
Timotej Lazar
2016-05-16
Prolog: hide dcg/expr_[23] until tests are added
Timotej Lazar
2016-05-15
DCG: test cases added.
Aleksander Sadikov
2016-05-15
Prolog: show DCG problems
Timotej Lazar
2016-05-08
Prolog: add English translations for monkey hints
Timotej Lazar
2016-05-08
Prolog: remove inference limit for CLP(FD) tests
Timotej Lazar
2016-05-08
Prolog: fix copy/paste error
Timotej Lazar
2016-05-06
Prolog: renumber and fix CLP(FD) problems
Timotej Lazar
2016-04-25
Prolog: remove argument mode indicators from descriptions
Timotej Lazar
2016-04-25
Remove file encoding comments from python files
Timotej Lazar
UTF-8 is the default.
2016-04-24
Prolog: swap CLP{R,FD} and reorder CLPR exercises
Timotej Lazar
2016-04-24
Prolog: rename max_sum/2 to max_adj_pair/2
Timotej Lazar
2016-04-24
CLP(R) exercises: Slovenian descriptions added.
Aleksander Sadikov
2016-04-24
CLP(R) exercises: Slovenian descriptions added.
Aleksander Sadikov
2016-04-24
Tests added for CLP(R) set of exercises.
Aleksander Sadikov
2016-04-24
Tests added for linear_opt exercise.
Aleksander Sadikov
2016-04-24
Tests added for linear_opt exercise.
Aleksander Sadikov
2016-04-18
Prolog: make license_plates group visible
Timotej Lazar
2016-04-11
Prolog: add a test case for depthBT/2
Timotej Lazar
2016-04-11
Prolog: add a test case for mirrorBT/2
Timotej Lazar
2016-04-11
Prolog: no hint for using b/t (valid for trees group)
Timotej Lazar
2016-04-11
Prolog: add test cases for the trees group
Timotej Lazar
2016-04-07
Prolog: fix test cases for sorting/pivoting_4
Timotej Lazar
2016-04-04
Prolog: add a test case for conc/3
Timotej Lazar
2016-04-03
Prolog: add introduction for the sets group and make it visible
Timotej Lazar
2016-03-30
Prolog: make sorting exercises visible
Timotej Lazar
2016-03-30
Hints and plans for isort/2 added.
Aleksander Sadikov
2016-03-30
Hints and plans for quick_sort/2 added.
Aleksander Sadikov
2016-03-30
Hints and plans for pivoting/4 added.
Aleksander Sadikov
2016-03-30
Hints and plans for pivoting/4 added.
Aleksander Sadikov
2016-03-30
Hints and plans for sins/3 added.
Aleksander Sadikov
[prev]
[next]