Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | gprolog-pred.wam | 6038 | logplain |
-rw-r--r-- | gprolog.spec | 3010 | logplain |
index : packages/gprolog.git | ||
GNU Prolog - a free Prolog compiler with constraint solving over Finite Domains | PLD Gitolite User |
summaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | gprolog-pred.wam | 6038 | logplain |
-rw-r--r-- | gprolog.spec | 3010 | logplain |