代码搜索:Prolog

找到约 1,954 项符合「Prolog」的源代码

代码结果 1,954
www.eeworm.com/read/487585/6505608

dat bookinfo.dat

[General Information] 书名=人工智能语言PROLOG 专家系统原理与设计 作者= 页数=360 SS号=10257200 出版日期=
www.eeworm.com/read/344684/11867709

s emul32a.s

.text empy32s:: empy32u:: ; think of one operand as consisting of bytes (high) A B C D (low) ; and the other operand as consisting of bytes (high) E F G H (low) .define A R19 .define B R18 .defin
www.eeworm.com/read/344684/11867920

s emul32b.s

.text empy32s:: empy32u:: ; think of one operand as consisting of bytes (high) A B C D (low) ; and the other operand as consisting of bytes (high) E F G H (low) .define A R19 .define B R18 .defin
www.eeworm.com/read/155317/11884874

s emul32a.s

.text empy32s:: empy32u:: ; think of one operand as consisting of bytes (high) A B C D (low) ; and the other operand as consisting of bytes (high) E F G H (low) .define A R19 .define B R18 .defin
www.eeworm.com/read/155317/11885033

s emul32b.s

.text empy32s:: empy32u:: ; think of one operand as consisting of bytes (high) A B C D (low) ; and the other operand as consisting of bytes (high) E F G H (low) .define A R19 .define B R18 .defin
www.eeworm.com/read/221024/14777294

html http:^^www.cs.utexas.edu^users^ml^dolphin.html

MIME-Version: 1.0 Server: CERN/3.0 Date: Tuesday, 07-Jan-97 15:55:40 GMT Content-Type: text/html Content-Length: 1750 Last-Modified: Monday, 11-Dec-95 16:42:34 GMT The DOLPHIN Speedup-L
www.eeworm.com/read/115330/15017756

h sflvers.h

/* ----------------------------------------------------------------- Name: sflvers.h Title: Define SFL version Package: Standard Function Library (SFL) Wri
www.eeworm.com/read/172772/9691425

s emul32a.s

.text empy32s:: empy32u:: ; think of one operand as consisting of bytes (high) A B C D (low) ; and the other operand as consisting of bytes (high) E F G H (low) .define A R19 .define B R18 .defin
www.eeworm.com/read/172772/9691519

s emul32b.s

.text empy32s:: empy32u:: ; think of one operand as consisting of bytes (high) A B C D (low) ; and the other operand as consisting of bytes (high) E F G H (low) .define A R19 .define B R18 .defin
www.eeworm.com/read/147693/12538691

pl fig23_1.pl

% Figure 23.1 The basic Prolog meta-interpreter. % The basic Prolog meta-interpreter prove( true). prove( ( Goal1, Goal2)) :- prove( Goal1), prove( Goal2). prove( Goal) :- cl