Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Engine.hs | 2079 | logplainabout |
-rw-r--r-- | Engine.hu | 33 | logplainabout |
-rw-r--r-- | Interact.hs | 3155 | logplainabout |
-rw-r--r-- | Interact.hu | 13 | logplainabout |
-rw-r--r-- | Main.hs | 3209 | logplainabout |
-rw-r--r-- | Main.hu | 64 | logplainabout |
-rw-r--r-- | Parse.hs | 4467 | logplainabout |
-rw-r--r-- | Parse.hu | 9 | logplainabout |
-rw-r--r-- | PrologData.hs | 4231 | logplainabout |
-rw-r--r-- | PrologData.hu | 23 | logplainabout |
-rw-r--r-- | README | 116 | logplainabout |
-rw-r--r-- | Subst.hs | 2301 | logplainabout |
-rw-r--r-- | Subst.hu | 23 | logplainabout |
-rw-r--r-- | Version.hs | 42 | logplainabout |
-rw-r--r-- | Version.hu | 11 | logplainabout |
-rw-r--r-- | stdlib | 1022 | logplainabout |