搜索资源列表
prolog.tar
- Her is the code for sml for unix and linux
EntitysCodeGenerate
- ogtalk是一种面向对象的逻辑编程语言，可以使用最Prolog的实现作为一个后端编译器。 -ogtalk is a logic of object-oriented programming language, you can use the realization of the most Prolog as a back-end compiler.
src-highlite
- 一个工具，可以将 Java Javascr ipt C/C++ Prolog Perl Php3 Python Flex ChangeLog Ruby Lua Caml Sml Log 等语言中的注释以html帮助的形式输出！-This program, given a source file, produces a document with syntax highlighting. At the mome
Artificial_Intelligence_through_Prolog
- 基于PROLOG语言的人工智能开发技术和应用-PROLOG language, artificial intelligence-based technology and application development
prolog_based_on_fasctandlogic
- 这是一个学习Prolog语言时的例子，是基于事实与逻辑的程序。-This is an example of learning Prolog language are based on fact and logic programs.
ticTacToeCompleteForStudents
- Jogo da velha para prolog para estudantes
cripto_prolog
- Crypto program in prolog artificial intelligence
SWIProlog5.6.59
- Swi 是用手册-swi help
Psharp-1.1.3
- c# implementation of prolog
id
- prolog写的简单积分微分，实现最基本的内容如sin,cos,ln,exp,chain rule-prolog： Diff erentiation and Indefi nite Integration
warplan2006
- Program to make a Warplan in Prolog
trab_lab_prolog
- Compilation of programs inf prolog
ttt
- prolog， this is a program for the game -for a game called tie tac
Hanno
- 这是用prolog编写的汉诺塔小程序，包括了源程序以及相关的实验说明文档。可直接在prolog中运行。-It is written in prolog Tower of Hanoi applet, including source code and related documentation of experiments. Can be run directly in the prolog.
zhuanjiaxitong
- 这是使用prolog语言编写的专家系统，可以简单的识别七种动物，其中包括实验源码，以及实验说明书。-It is written using the prolog expert system, you can simply identify the seven kinds of animals, including experimental source, and experimental instructions.
tic
- A simple tic tac toe program using prolog
ProComp
- Simple compiler in prolog
PROJ_N
- prolog source code Artificial intelligence
capra
- Prolog code source for solving problem with wolf, goat and cabbage
PrologExpertSystem
- A Rule Based Expert System created in Prolog 4500,which incputs text files containing prolog clauses asserts them into the database and by using the inference engine reaches to conclusions.