代码搜索:Prolog
找到约 1,954 项符合「Prolog」的源代码
代码结果 1,954
www.eeworm.com/read/347853/11631642
pro ch22ex09.pro
/*
Turbo Prolog 2.0 Chapter 22, Example Program 9
Copyright (c) 1986, 88 by Borland International, Inc
*/
project "dateproj"
global predicates
mydate(integer,integer,in
www.eeworm.com/read/347853/11631740
pro ch08ex06.pro
/*
Turbo Prolog 2.0 Chapter 8, Example Program 6
Copyright (c) 1986, 88 by Borland International, Inc
*/
domains
namelist = name*
name = symbol
predicates
is_a_
www.eeworm.com/read/347853/11631751
pro ch10ex04.pro
/*
Turbo Prolog 2.0 Chapter 10, Example Program 4
Copyright (c) 1986, 88 by Borland International, Inc
*/
domains
list = integer*
predicates
member(integer, list)
www.eeworm.com/read/345992/3194343
ps rfa.ps
%!
%%Title: PubTeX output 1991.01.14:1031
%%Creator: Pubps, ArborText, Inc.
%%BoundingBox: (atend)
%%Pages: (atend)
%%DocumentFonts: (atend)
%%EndComments
%!
% Dvips.pro - included prolog for
www.eeworm.com/read/324136/3505211
c tkmacprolog.c
/*
* tkMacProlog.c --
*
* Implements a method on the Macintosh to get the prolog
* from the resource fork of our application (or the shared
* library).
*
* Copyright (c) 1996-1997 Sun Microsys
www.eeworm.com/read/280815/4123773
s rzksystemtimerisrentry.s
;/*
;* File : SystemTimerISRProlog
;*
;* Description : Defines RZK's prolog.
;*
;* Copyright 2004 ZiLOG Inc. ALL RIGHTS RESERVED.
;*
;* This file contains unpublished confidential and pro
www.eeworm.com/read/280815/4123775
s systemtimerisrprolog.s
;/*
;* File : SystemTimerISRProlog
;*
;* Description : Defines RZK's prolog.
;*
;* Copyright 2004 ZiLOG Inc. ALL RIGHTS RESERVED.
;*
;* This file contains unpublished confidential and pro
www.eeworm.com/read/388068/2551854
h sflcryp.h
/* $Id: sflcryp.h,v 1.3 1998/12/28 09:43:56 sas Exp $ */
/* -----------------------------------------------------------------
Name: sflcryp.h
Title: Encryption and decrypt
www.eeworm.com/read/147693/12538512
pl fig15_7.pl
% Figure 15.7 A forward chaining rule interpreter.
% Simple forward chaining in Prolog
forward :-
new_derived_fact( P), % A new fact
!,
write( 'Derived: '), write(
www.eeworm.com/read/106679/15628045
ps rfc1246.ps
%!
%%BoundingBox: (atend)
%%Pages: (atend)
%%DocumentFonts: (atend)
%%EndComments
%
% FrameMaker PostScript Prolog 2.0, for use with FrameMaker 2.0
% Copyright (c) 1986,87,89 by Frame Technolog