逻辑数据库DES命令行运行环境
需积分: 9 66 浏览量
2010-04-15
22:25:56
上传
评论
收藏 1.06MB ZIP 举报
DES1.6.1Windows.zip （68个子文件） 
des 
deswin.exe 36KB
sprt311.dll 376KB des1.pl 4KB systems sicstus des1.pl 4KB dessql.pl 75KB des.pl 99KB desdebug.pl 79KB swi des1.pl 4KB dessql.pl 75KB des.pl 99KB desdebug.pl 79KB gnu des1.pl 4KB dessql.pl 75KB des.pl 99KB desdebug.pl 79KB ciao des1.pl 4KB consult.pl 68B ciaorc 52B des.pl 100KB desdebug.pl 79KB sp311 LIBRARY TERMS.PO 7KB ASSOC.PO 10KB LISTS.PO 9KB RANDOM.PO 6KB x86-win32-nt-4 SYSTEM.DLL 36KB RANDOM.DLL 20KB SYSTEM.PO 17KB ORDSETS.PO 10KB UGRAPHS.PO 32KB ATTS.PO 13KB BIN SPRT.SAV 340KB examples flights.dl 91B tc.dl 855B mutrecursion.sql 234B family.sql 832B paths.sql 428B bom.dl 2KB mutrecursion.dl 78B family.dl 336B trains.dl 1KB hanoi.dl 909B parity.dl 1024B russell.dl 104B russell.sql 235B mrtc.dl 376B typedpuzzle.dl 646B grammar.dl 563B tranclosure.dl 364B puzzle.dl 565B relop.dl 394B fib.dl 608B relop.sql 897B orbits1.dl 509B orbits.dl 502B recursion.dl 70B paradox.dl 16B tranclosure.sql 346B sg.dl 1KB negation.dl 61B paths.dl 175B spcon.dll 56KB des.exe 32KB dessql.pl 75KB des.pl 99KB doc 
manualDES.pdf 455KB desdebug.pl 79KB license license 18KB main.sav 77KB资源评论
