EpilogJS
What
versus
How
 

User Guide


Introduction

EpilogJS is a collection of Javascript subroutines and variables developed to support the creation, editing, and processing of Epilog datasets and rulesets. This document is a user guide for EpilogJS. For information about the Epilog language itself, see the description in Logic Programming. To download the EpilogJS software, go to the Epilog home page and click on Software.

Data Types

symbol
variable
list
expression
expression*
term
sentence
dataset
ruleset
index
assignment
boolean

Global Variables

dataindexing
ruleindexing
inferences
instantiations
depth
traces

Expression Management Subroutines

symbolp
constantp
varp
operatorp
specialp
equalp
matchp
matcher
unifyp
unifier
plug
uniquify
vniquify
zniquify

Dataset and Ruleset Management Subroutines

definefacts
definerules
definemorefacts
definemorerules
emptytheory
savefact
dropfact
eliminatefacts
saverule
droprule
eliminaterules

insertfact
uninsertfact
lookupfacts
insertrule
uninsertrule
lookuprules

index
unindex
indexees
fullindex
fullunindex
fullindexps
ruleindex
ruleunindex
ruleindexps
addcontent
remcontent

Inference Subroutines

basefindp
basefindx
basefinds
compfindp
compfindx
compfinds
compfindg
compvalue
comptransform
compupdate
hypofindp
hypofindx
hypofinds
hypovalue
hypotransform
hypoupdate
debugfindp
debugfindx
debugfinds

Miscellaneous Subroutines

read
readdata
grind
grindem
finderrors



Comments and complaints to genesereth@stanford.edu.