prologhelp (original) (raw)

abolish

07/19/1999 12:41:17 AM +00:00

abort

07/19/1999 12:41:17 AM +00:00

and

07/19/1999 12:41:17 AM +00:00

append

07/19/1999 12:41:17 AM +00:00

are

07/19/1999 12:41:17 AM +00:00

arg

07/19/1999 12:41:17 AM +00:00

arithmetic

07/19/1999 12:41:17 AM +00:00

arrow

07/19/1999 12:41:17 AM +00:00

assert

07/19/1999 12:41:17 AM +00:00

asserta

07/19/1999 12:41:17 AM +00:00

assertz

07/19/1999 12:41:17 AM +00:00

atom

07/19/1999 12:41:17 AM +00:00

atomic

07/19/1999 12:41:17 AM +00:00

bagof

07/19/1999 12:41:17 AM +00:00

bitwise

07/19/1999 12:41:17 AM +00:00

break

07/19/1999 12:41:17 AM +00:00

builtin

07/19/1999 12:41:17 AM +00:00

call

07/19/1999 12:41:17 AM +00:00

catch

07/19/1999 12:41:17 AM +00:00

chartype

07/19/1999 12:41:17 AM +00:00

chatty

07/19/1999 12:41:18 AM +00:00

clause

07/19/1999 12:41:18 AM +00:00

clauses

07/19/1999 12:41:18 AM +00:00

clausify

07/19/1999 12:41:18 AM +00:00

comma

07/19/1999 12:41:18 AM +00:00

commands

07/19/1999 12:41:18 AM +00:00

compare

07/19/1999 12:41:18 AM +00:00

compatibility

07/19/1999 12:41:18 AM +00:00

compile

07/19/1999 12:41:18 AM +00:00

conditional

07/19/1999 12:41:18 AM +00:00

consult

07/19/1999 12:41:18 AM +00:00

current_atom

07/19/1999 12:41:18 AM +00:00

current_disk

07/19/1999 12:41:18 AM +00:00

current_functor

07/19/1999 12:41:18 AM +00:00

current_op

07/19/1999 12:41:18 AM +00:00

current_predicate

07/19/1999 12:41:18 AM +00:00

cut

07/19/1999 12:41:18 AM +00:00

database

07/19/1999 12:41:18 AM +00:00

date

07/19/1999 12:41:18 AM +00:00

dcgr

07/19/1999 12:41:18 AM +00:00

debug

07/19/1999 12:41:19 AM +00:00

debugging

07/19/1999 12:41:19 AM +00:00

dec10

07/19/1999 12:41:19 AM +00:00

dec10_ops

07/19/1999 12:41:19 AM +00:00

default_ops

07/19/1999 12:41:19 AM +00:00

details

07/19/1999 12:41:19 AM +00:00

directives

07/19/1999 12:41:19 AM +00:00

display

07/19/1999 12:41:19 AM +00:00

div

07/19/1999 12:41:19 AM +00:00

divide

07/19/1999 12:41:19 AM +00:00

dollar

07/19/1999 12:41:19 AM +00:00

dynamic

07/19/1999 12:41:19 AM +00:00

edinsynt

07/19/1999 12:41:19 AM +00:00

efficiency

07/19/1999 12:41:19 AM +00:00

equal

07/19/1999 12:41:19 AM +00:00

error

07/19/1999 12:41:19 AM +00:00

errors

07/19/1999 12:41:19 AM +00:00

exclamation

07/19/1999 12:41:19 AM +00:00

expand_term

07/19/1999 12:41:19 AM +00:00

fail

07/19/1999 12:41:19 AM +00:00

fast_bagof

07/19/1999 12:41:20 AM +00:00

fast_setof

07/19/1999 12:41:20 AM +00:00

findall

07/19/1999 12:41:20 AM +00:00

float

07/19/1999 12:41:20 AM +00:00

format

07/19/1999 12:41:20 AM +00:00

functor

07/19/1999 12:41:20 AM +00:00

gensym

07/19/1999 12:41:20 AM +00:00

get

07/19/1999 12:41:20 AM +00:00

get0

07/19/1999 12:41:20 AM +00:00

glossary

07/19/1999 12:41:20 AM +00:00

grammar_rule

07/19/1999 12:41:20 AM +00:00

grammars

07/19/1999 12:41:20 AM +00:00

greaterthan

07/19/1999 12:41:20 AM +00:00

halt

07/19/1999 12:41:20 AM +00:00

helpfiles

07/19/1999 12:41:20 AM +00:00

higher_order

07/19/1999 12:41:20 AM +00:00

i_o

07/19/1999 12:41:20 AM +00:00

incore

07/19/1999 12:41:20 AM +00:00

integer

07/19/1999 12:41:20 AM +00:00

keysort

07/19/1999 12:41:21 AM +00:00

languages

07/19/1999 12:41:21 AM +00:00

leash

07/19/1999 12:41:21 AM +00:00

length

07/19/1999 12:41:21 AM +00:00

lerngram

07/19/1999 12:41:21 AM +00:00

lessthan

07/19/1999 12:41:21 AM +00:00

libraries

07/19/1999 12:41:21 AM +00:00

library

07/19/1999 12:41:21 AM +00:00

libsum

07/19/1999 12:41:21 AM +00:00

lispinplog

07/19/1999 12:41:21 AM +00:00

listing

07/19/1999 12:41:21 AM +00:00

load

07/19/1999 12:41:21 AM +00:00

log

07/19/1999 12:41:21 AM +00:00

macro

07/19/1999 12:41:21 AM +00:00

member

07/19/1999 12:41:21 AM +00:00

minus

07/19/1999 12:41:21 AM +00:00

mishap

07/19/1999 12:41:21 AM +00:00

mixed_languages

07/19/1999 12:41:21 AM +00:00

mod

07/19/1999 12:41:21 AM +00:00

modules

07/19/1999 12:41:21 AM +00:00

name

07/19/1999 12:41:21 AM +00:00

newplogterms

07/19/1999 12:41:22 AM +00:00

no_clauses

07/19/1999 12:41:22 AM +00:00

nodebug

07/19/1999 12:41:22 AM +00:00

nonvar

07/19/1999 12:41:22 AM +00:00

nospy

07/19/1999 12:41:22 AM +00:00

not

07/19/1999 12:41:22 AM +00:00

numbervars

07/19/1999 12:41:22 AM +00:00

oldplogterms

07/19/1999 12:41:22 AM +00:00

on_interrupt

07/19/1999 12:41:22 AM +00:00

once

07/19/1999 12:41:22 AM +00:00

operators

07/19/1999 12:41:22 AM +00:00

ops

07/19/1999 12:41:22 AM +00:00

options

07/19/1999 12:41:22 AM +00:00

parsedemo

07/19/1999 12:41:22 AM +00:00

pdp11

07/19/1999 12:41:22 AM +00:00

phrase

07/19/1999 12:41:22 AM +00:00

plogshowtree

07/19/1999 12:41:22 AM +00:00

plogtopop

07/19/1999 12:41:22 AM +00:00

plus

07/19/1999 12:41:23 AM +00:00

poplog

07/19/1999 12:41:23 AM +00:00

popsetq

07/19/1999 12:41:23 AM +00:00

popstring

07/19/1999 12:41:23 AM +00:00

poptoplog

07/19/1999 12:41:23 AM +00:00

portray

07/19/1999 12:41:23 AM +00:00

predicate_info

07/19/1999 12:41:23 AM +00:00

predicates

07/19/1999 12:41:23 AM +00:00

processes

07/19/1999 12:41:23 AM +00:00

prolog

07/19/1999 12:41:23 AM +00:00

prolog_abolish

07/19/1999 12:41:23 AM +00:00

prolog_barrier_apply

07/19/1999 12:41:23 AM +00:00

prolog_compile

07/19/1999 12:41:23 AM +00:00

prolog_error

07/19/1999 12:41:23 AM +00:00

prolog_eval

07/19/1999 12:41:23 AM +00:00

prolog_evaltrue

07/19/1999 12:41:23 AM +00:00

prolog_invoke

07/19/1999 12:41:23 AM +00:00

prolog_language

07/19/1999 12:41:23 AM +00:00

prolog_restart

07/19/1999 12:41:23 AM +00:00

prolog_setq

07/19/1999 12:41:23 AM +00:00

prolog_syserror

07/19/1999 12:41:24 AM +00:00

prolog_val

07/19/1999 12:41:24 AM +00:00

prolog_valof

07/19/1999 12:41:24 AM +00:00

prolog_vars

07/19/1999 12:41:24 AM +00:00

prompt

07/19/1999 12:41:24 AM +00:00

put

07/19/1999 12:41:24 AM +00:00

quietspy

07/19/1999 12:41:24 AM +00:00

read

07/19/1999 12:41:24 AM +00:00

reconsult

07/19/1999 12:41:24 AM +00:00

record

07/19/1999 12:41:24 AM +00:00

reinitialise

07/19/1999 12:41:24 AM +00:00

rename

07/19/1999 12:41:24 AM +00:00

repeat

07/19/1999 12:41:24 AM +00:00

resolve

07/19/1999 12:41:24 AM +00:00

restore

07/19/1999 12:41:24 AM +00:00

retract

07/19/1999 12:41:24 AM +00:00

retractall

07/19/1999 12:41:24 AM +00:00

save

07/19/1999 12:41:24 AM +00:00

see

07/19/1999 12:41:24 AM +00:00

seeing

07/19/1999 12:41:24 AM +00:00

seen

07/19/1999 12:41:24 AM +00:00

semicolon

07/19/1999 12:41:24 AM +00:00

setof

07/19/1999 12:41:24 AM +00:00

showlib

07/19/1999 12:41:25 AM +00:00

showterm

07/19/1999 12:41:25 AM +00:00

simplepop

07/19/1999 12:41:25 AM +00:00

skip

07/19/1999 12:41:25 AM +00:00

sort

07/19/1999 12:41:25 AM +00:00

spy

07/19/1999 12:41:25 AM +00:00

spy_action

07/19/1999 12:41:25 AM +00:00

static

07/19/1999 12:41:25 AM +00:00

statistics

07/19/1999 12:41:25 AM +00:00

strings

07/19/1999 12:41:25 AM +00:00

symbols

07/19/1999 12:41:25 AM +00:00

syntax

07/19/1999 12:41:25 AM +00:00

system

07/19/1999 12:41:25 AM +00:00

system_predicate

07/19/1999 12:41:25 AM +00:00

tab

07/19/1999 12:41:25 AM +00:00

tell

07/19/1999 12:41:25 AM +00:00

telling

07/19/1999 12:41:25 AM +00:00

term_expansion

07/19/1999 12:41:25 AM +00:00

termsinpop

07/19/1999 12:41:25 AM +00:00

throw

07/19/1999 12:41:25 AM +00:00

time

07/19/1999 12:41:26 AM +00:00

times

07/19/1999 12:41:26 AM +00:00

told

07/19/1999 12:41:26 AM +00:00

tracer

07/19/1999 12:41:26 AM +00:00

trimcore

07/19/1999 12:41:26 AM +00:00

true

07/19/1999 12:41:26 AM +00:00

ttyflush

07/19/1999 12:41:26 AM +00:00

ttyget

07/19/1999 12:41:26 AM +00:00

ttyget0

07/19/1999 12:41:26 AM +00:00

ttynl

07/19/1999 12:41:26 AM +00:00

ttyput

07/19/1999 12:41:26 AM +00:00

ttyskip

07/19/1999 12:41:26 AM +00:00

ttytab

07/19/1999 12:41:26 AM +00:00

tuning

07/19/1999 12:41:26 AM +00:00

undefs

07/19/1999 12:41:26 AM +00:00

univ

07/19/1999 12:41:26 AM +00:00

unknown

07/19/1999 12:41:26 AM +00:00

unleash

07/19/1999 12:41:26 AM +00:00

useful

07/19/1999 12:41:26 AM +00:00

user_predicate

07/19/1999 12:41:26 AM +00:00

uses

07/19/1999 12:41:26 AM +00:00

var

07/19/1999 12:41:27 AM +00:00

ved

07/19/1999 12:41:27 AM +00:00

version

07/19/1999 12:41:27 AM +00:00

write

07/19/1999 12:41:27 AM +00:00

writeq

07/19/1999 12:41:27 AM +00:00