prolog 源代码

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

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

/************************************************************************ This file was generated by Visual Prolog a product of:…

源码文件

DESCRIPTION 'Visual Prolog Windows application' EXETYPE WINDOWS ; required for all Windows applications PROTMODE ; Visual Prolog…

源码文件

// // Copyright (c) Microsoft Corporation. All rights reserved. // // // This source code is licensed under Microsoft Shared …

源码文件

Cetus Links: 18,846 Links on Objects and Components / Prolog

源码文件

/* ----------------------------------------------------------------- Name: testmem.c Title: Test program for…

源码文件

/* ----------------------------------------------------------------- Name: sfl.h Title: SFL Global Include F…

源码文件

/* ----------------------------------------------------------------- Name: testxml.c Title: Test program for…

源码文件

/* ----------------------------------------------------------------- Name: testuid.c Title: Test program for…

源码文件

/* ----------------------------------------------------------------- Name: sflvers.h Title: Define SFL versi…

源码文件

/* ----------------------------------------------------------------- Name: sflsyst.h Title: System-level fun…