代码搜索: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