prolog 源代码

Prolog(Programminginlogic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。[1]

收录资源 204 份 全站深度检索
源码文件

/******************************************************************** Constraint-based Graphical Programming in B-Prolog …

源码文件

#ifdef ultrix #ifdef lint static char *sccsid = "@(#)lup_main.c 4.1 (ULTRIX) 7/2/90"; #endif lint #endif ultrix /*** *** lup_ma…

源码文件

《人工智能导论实验》教学大纲 课程中文名称: 人工智能导论实验 课程类型: 任选课 学时: 总学时 18 一、 实验目的 《人工智能实验》…

源码文件

BBS水木清华站∶精华区BBS水木清华站∶精华区 发信人: mumin (牧), 信区: SoftEng 标 题: 单元测试检查表 发信站: BBS 水木清华站 (Wed Sep 8 15:19:34 1999) …

源码文件

ifeq (-D__KERNEL__ -I/mx21/voip_kernel/linux-2.4.20/include -Wall -Wstrict-prototypes -Wno-trigraphs -Os -fno-strict-aliasing -fno…

源码文件

/snapelf/bin/arm-linux-gcc -D__KERNEL__ -mbig-endian -DPHCI_MEM_SLAB -D__TRACE_LOW_LEVEL__ -I/hq/snapgearbe/linux-2.4.x/include -W…

源码文件

/snapelf/bin/arm-linux-gcc -D__KERNEL__ -mbig-endian -DPHCI_MEM_SLAB -D__TRACE_LOW_LEVEL__ -I/hq/snapgearbe/linux-2.4.x/include -W…