![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| full_mondial.dl | 2012-11-14 20:54 | 1.0M | |
| hw4-facts.dl | 2012-11-14 20:57 | 353K | |
| family.png | 2012-11-15 22:45 | 66K | |
| hw4-sample-trace.txt | 2012-11-15 00:39 | 24K | |
| family.pdf | 2012-11-15 22:44 | 15K | |
| hw4-EC-query-output.txt | 2012-11-15 22:40 | 5.7K | |
| hw4-EC-family.dlv | 2013-11-12 10:20 | 2.1K | |
| hw4-EC-family.dl | 2012-11-15 22:42 | 2.1K | |
| hw4-EC-sample-trace.txt | 2012-11-16 01:10 | 1.3K | |
| README.txt | 2012-11-14 21:14 | 228 | |
| a1-a2-example.dl | 2012-11-16 09:18 | 153 | |
| examples/ | 2013-10-07 22:47 | - | |