Index of /pub/educational/Coursera - Logic - Language and Information 1 - The University of Melbourne - logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/

../
01_6.1_Logic_Computers__Automated_Reasoning_12-..> 23-Jul-2026 13:21            27312172
01_6.1_Logic_Computers__Automated_Reasoning_12-..> 23-Jul-2026 13:21              753393
01_6.1_Logic_Computers__Automated_Reasoning_12-..> 23-Jul-2026 13:21               16664
01_6.1_Logic_Computers__Automated_Reasoning_12-..> 23-Jul-2026 13:21               10368
02_6.2_Logic_Programming_in_PROLOG_13-00.mp4       23-Jul-2026 13:21            28571548
02_6.2_Logic_Programming_in_PROLOG_13-00.pdf       23-Jul-2026 13:21             3097742
02_6.2_Logic_Programming_in_PROLOG_13-00.srt       23-Jul-2026 13:21               16458
02_6.2_Logic_Programming_in_PROLOG_13-00.txt       23-Jul-2026 13:21               10057
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.mp4    23-Jul-2026 13:21            31405950
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.pdf    23-Jul-2026 13:21              620836
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.srt    23-Jul-2026 13:21               17876
03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.txt    23-Jul-2026 13:21               10810
04_6.4_How_PROLOG_Answers_Queries_17-08.mp4        23-Jul-2026 13:21            34927518
04_6.4_How_PROLOG_Answers_Queries_17-08.pdf        23-Jul-2026 13:21              515447
04_6.4_How_PROLOG_Answers_Queries_17-08.srt        23-Jul-2026 13:21               18256
04_6.4_How_PROLOG_Answers_Queries_17-08.txt        23-Jul-2026 13:21               11190
05_6.5_Negation_in_PROLOG_6-55.mp4                 23-Jul-2026 13:21            14216140
05_6.5_Negation_in_PROLOG_6-55.pdf                 23-Jul-2026 13:21              449060
05_6.5_Negation_in_PROLOG_6-55.srt                 23-Jul-2026 13:21                6890
05_6.5_Negation_in_PROLOG_6-55.txt                 23-Jul-2026 13:21                4180