站内搜索
编辑推荐
本类下载榜
软件简介
SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序,因为它的编程方法更象是使用逻辑的语言来描述程序。
运行速度要比amzi prolog的解释器快,和amzi的编译之后的程序差不多快,如果图形软件包XPCE的话,还可以开发有界面的程序。它的语法和amzi prolog相同,程序可以通用,不过内部谓词有些不同,有时候需要修改一下。
SWI-Prolog 提供一个的 Prolog 编程语言环境。包括一个图形化工具包 XPCE 。该项目 1987 年开始开发,在研究和教育领域中广泛使用。
汉化工具Restorator 2007 Build 1747汉化绿色版【功能强大且很好】
Quick Batch File Compiler【.bat.cmd转.exe】4.1.5.1 汉化绿色版
chm文件编辑器PowerCHM 6.40绿色版_编辑html和hhp文件
E书反编译工具unEbookEdit v1.2.470简体中文绿色特别版
Flash反编译工具Sonne Flash Decompiler 5.1.1.2240汉化注册版
Universal Extractor(万能解包提取) 汉化绿色增强版
ResHack V3.4.0 简体中文绿色版(类似于eXeScope反编译软件)
批处理程序开发工具v2.6绿色版(将.BAT.CMD编译为.EXE文件)
反编译调试OllyDBG 1.10 汉化第二版
unEbookWorkShop(反编译ebookWorkshop)v1.42真正绿色注册版
Cheat Engine 6.4 官方原版+中文语言包
CHM Editor 3.1.2 多语言绿色特别版
W32asm 反汇编工具爆破软件 绿色特别版
CHM反编译工具v1.1绿色版_快速反编译CHM文件
Convert2HTML(HTML文件制作CHM)v2.0汉化绿色版
逆向工程必备_IDA V5.5.0.952 Demo修改版【IDA程序反汇编】