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
2017-03-13
Prolog: add bugs file for the last_elem problem
Timotej Lazar
2017-03-07
Oops, IDs are ints and not strs
Timotej Lazar
2017-03-06
World Data exercises updated.
Aleksander Sadikov
2017-03-02
Prolog: fix a typo
Timotej Lazar
2017-02-27
Prolog: add bugs files for the first six groups
Timotej Lazar
2017-02-27
Prolog: add texts for new automatic hints
Timotej Lazar
2017-02-24
Prolog: add <code> tags for sister/2 hints
Timotej Lazar
2016-10-26
Prolog: move world_data problems to the end (temporary)
Timotej Lazar
2016-10-18
Prolog: fix world_data group ID
Timotej Lazar
2016-10-18
Prolog: add database description for world_data
Timotej Lazar
2016-10-18
Prolog: reorder problem groups
Timotej Lazar
2016-10-18
Prolog: change ID and number for whoSpeaks_3
Timotej Lazar
2016-10-18
Prolog: reduce world_data dataset
Timotej Lazar
2016-10-18
Prolog: fix world_data problem IDs and numbers
Timotej Lazar
2016-10-18
Prolog: add more world_data exercises
Timotej Lazar
2016-10-18
Week2: whoSpeaks/3 exercises added.
Aleksander Sadikov
2016-10-18
Week2: grant/1 and landlocked2/1 exercises added.
Aleksander Sadikov
2016-10-17
Week2: holiday/2 exercise added.
Aleksander Sadikov
2016-10-17
Week2: simpop/3 exercise added.
Aleksander Sadikov
2016-10-04
Use a single CSS file for all courses
Timotej Lazar
2016-10-04
Prolog: reduce inference limit for rev_2
Timotej Lazar
2016-09-28
English translation for sins/3 added.
Aleksander Sadikov
2016-09-28
English translation for pivoting/4 added.
Aleksander Sadikov
2016-09-27
English translation for is_sorted/1 added.
Aleksander Sadikov
2016-09-23
English translation for quicksort/2 added.
Aleksander Sadikov
2016-09-21
English translation for slowest_sort_ever/2 added.
Aleksander Sadikov
2016-09-21
English translation for isort/2 added.
Aleksander Sadikov
2016-09-09
English translation for sublist/2 added.
Aleksander Sadikov
2016-09-08
English translation for palindrome/1 added.
Aleksander Sadikov
2016-09-08
English translations for evenlen/1 and oddlen/1 added.
Aleksander Sadikov
2016-09-08
English translations for min/2 and max/2 added.
Aleksander Sadikov
2016-09-06
English translation for sum/2 added.
Aleksander Sadikov
2016-09-06
English translation for len/2 added.
Aleksander Sadikov
2016-09-01
English translation for shiftright/2 added.
Aleksander Sadikov
2016-09-01
English translation for shiftleft/2 added.
Aleksander Sadikov
2016-08-31
English translation for divide/3 added.
Aleksander Sadikov
2016-08-31
English translation for permute/2 added.
Aleksander Sadikov
2016-08-30
English translation for last_elem/2 added.
Aleksander Sadikov
2016-08-29
English translation for dup/2 added.
Aleksander Sadikov
2016-08-29
English translation for del/3 added.
Aleksander Sadikov
2016-08-29
English translation for insert/3 added.
Aleksander Sadikov
2016-08-28
English translation for memb/2 added.
Aleksander Sadikov
2016-08-27
English translation for conc/3 added.
Aleksander Sadikov
2016-08-21
English translation for grandparent/2 added.
Aleksander Sadikov
2016-08-20
English translation for cousin/2 added.
Aleksander Sadikov
2016-08-19
English translation for sister/2 and brother/2 added.
Aleksander Sadikov
2016-08-19
English translation for aunt/2 added.
Aleksander Sadikov
2016-08-18
English translation for mother/2 and father/2 added.
Aleksander Sadikov
2016-08-10
English translation for rev/2 added.
Aleksander Sadikov
2016-08-09
English translation for ancestor/2 and descendant/2 updated.
Aleksander Sadikov
[next]