源码文件
Date: Wed, 20 Nov 1996 23:18:02 GMT Server: NCSA/1.5 Content-type: text/html 22C:123 Programming language foundations - Fall 1995…
prolog 源代码
Prolog(Programminginlogic)是一种面向演绎推理的逻辑型程序设计语言，最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。[1]
收录资源 204 份
全站深度检索
共匹配 204 份工程资源
· 第 14 / 21 页
源码文件
Date: Wed, 20 Nov 1996 23:18:10 GMT Server: NCSA/1.5 Content-type: text/html Fall 1995 Course Announcement Fall 1995 Cour…
源码文件
MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 06-Jan-97 20:51:06 GMT Content-Type: text/html Content-Length: 3273 Last-Mod…
源码文件
全屏阅读 【版面名称】：Prolog【版主】：徵求中【讨论区】：电脑技术第1页/共1页(总计1笔) 打包 发信人: wave(驰浪) 题 目: 附：歌德巴赫猜想? 发信站: 【蜘蛛…
源码文件
全屏阅读 【版面名称】：Prolog【版主】：徵求中【讨论区】：电脑技术第1页/共1页(总计1笔) 打包 发信人: wave(驰浪) 题 目: 附：回文（palin）定义 发信站:…
源码文件
/* BENCH.PL : The classic Prolog benchmark Supplied by Quintus Computer Systems, Inc. April 30th 1984 */ /…
源码文件
/* Copyright (C) 1993-1998, Ghostgum Software Pty Ltd. All rights reserved. This file is part of GSview. This progr…
源码文件
/* Copyright (C) 1993-2001, Ghostgum Software Pty Ltd. All rights reserved. This file is part of GSview. This progr…
源码文件
有5个人坐在一起。问第5个人几岁，他说比第4个人大2岁；第4个人说比第3个人大2岁；第3个人说比第2个人大2岁；第2个人说比第1个人大2岁；第1个人说自己的年龄是10岁。问第5个人几岁？ predicates age(integer,integer…
源码文件
/************************************************************************ This file was generated by Visual Prolog a product of:…