The gambol Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The gambol Reference Manual

This is the gambol Reference Manual, version 0.5, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 11:06:18 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

Gambol

The GAMBOL package is a trivially modified extraction of the logic programming portion of the Frolic system written at the University of Utah. I have made a few changes to get it to compile under a modern Common Lisp, in addition to a few style changes that don't alter any functionality.

WIP

Usage

Don't

Installation

quicklisp

Author

Copyright

Copyright (c) 2013 Stephen A. Goss (steveth45@gmail.com) Copyright (c) 2008-2009 William S. Annis. All rights reserved.

License

Licensed under the MIT License.


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Previous: , Up: Systems   [Contents][Index]

2.1 gambol

Author

Stephen A. Goss

License

MIT

Description

A buggy, incomplete implementation of Prolog.

Long Description

# Gambol

The GAMBOL package is a trivially modified extraction of the logic programming portion of the Frolic system written at the University of Utah. I have made a few changes to get it to compile under a modern Common Lisp, in addition to a few style changes that don’t alter any functionality.

WIP

## Usage

Don’t

## Installation

quicklisp

## Author

* Stephen A. Goss (steveth45@gmail.com)

## Copyright

Copyright (c) 2013 Stephen A. Goss (steveth45@gmail.com) Copyright (c) 2008-2009 William S. Annis. All rights reserved.

# License

Licensed under the MIT License.

Version

0.5

Source

gambol.asd (file)

Component

src (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

Modules are listed depth-first from the system components tree.


Previous: , Up: Modules   [Contents][Index]

3.1 gambol/src

Parent

gambol (system)

Location

src/

Component

gambol.lisp (file)


Next: , Previous: , Up: Top   [Contents][Index]

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 gambol.asd

Location

gambol.asd

Systems

gambol (system)

Packages

gambol-asd


Previous: , Up: Lisp files   [Contents][Index]

4.1.2 gambol/src/gambol.lisp

Parent

src (module)

Location

src/gambol.lisp

Packages

gambol

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

5.1 gambol-asd

Source

gambol.asd

Use List

Previous: , Up: Packages   [Contents][Index]

5.2 gambol

Source

gambol.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Special variables

Special Variable: *error-missing-rule*

if t, signal error on missing rule

Package

gambol

Source

gambol.lisp (file)

Special Variable: *lips*

logical inferences per second

Package

gambol

Source

gambol.lisp (file)

Special Variable: *tracing*

if t, tracing is turned on

Package

gambol

Source

gambol.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Macros

Macro: *- &rest RULES
Package

gambol

Source

gambol.lisp (file)

Macro: ?- &rest GOALS
Package

gambol

Source

gambol.lisp (file)

Macro: ??- &rest GOALS
Package

gambol

Source

gambol.lisp (file)

Macro: bagof PATTERN GOALS
Package

gambol

Source

gambol.lisp (file)

Macro: lisp &rest BODY
Package

gambol

Source

gambol.lisp (file)

Macro: lop &rest BODY
Package

gambol

Source

gambol.lisp (file)

Macro: setof PATTERN GOALS
Package

gambol

Source

gambol.lisp (file)

Macro: with-rulebase RULEBASE &body BODY
Package

gambol

Source

gambol.lisp (file)


Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Functions

Function: clear-rules &optional FUNCTORS
Package

gambol

Source

gambol.lisp (file)

Function: current-rulebase ()
Package

gambol

Source

gambol.lisp (file)

Function: make-rulebase ()
Package

gambol

Source

gambol.lisp (file)

Function: parse-rules RULES
Package

gambol

Source

gambol.lisp (file)

Function: pl-assert RULE

add a rule to the end of the database for this functor

Package

gambol

Source

gambol.lisp (file)

Function: pl-asserta RULE

add a rule to the beginning of the database for this functor

Package

gambol

Source

gambol.lisp (file)

Function: pl-retract GOALS
Package

gambol

Source

gambol.lisp (file)

Function: pl-solve-all GOALS
Package

gambol

Source

gambol.lisp (file)

Function: pl-solve-one GOALS
Package

gambol

Source

gambol.lisp (file)

Function: print-rule FUNCTOR
Package

gambol

Source

gambol.lisp (file)

Function: print-rules &optional FUNCTORS
Package

gambol

Source

gambol.lisp (file)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Special variables

Special Variable: *builtin-functors*
Package

gambol

Source

gambol.lisp (file)

Special Variable: *impossible*

make impossible look nice

Package

gambol

Source

gambol.lisp (file)

Special Variable: *num-slots*

number of logical variables in a query

Package

gambol

Source

gambol.lisp (file)

Special Variable: *prolog-rules*

hash table for prolog rule heads

Package

gambol

Source

gambol.lisp (file)

Special Variable: *solved*

make solved look nice

Package

gambol

Source

gambol.lisp (file)

Special Variable: *top-level-envs*

saves top-level environments

Package

gambol

Source

gambol.lisp (file)

Special Variable: *top-level-vars*

saves top-level variable names

Package

gambol

Source

gambol.lisp (file)

Special Variable: *x-env*

env for goals

Package

gambol

Source

gambol.lisp (file)

Special Variable: *y-env*

env for rules

Package

gambol

Source

gambol.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.2 Macros

Macro: add-new-var VAR VARS
Package

gambol

Source

gambol.lisp (file)

Macro: all-prolog-rules ()
Package

gambol

Source

gambol.lisp (file)

Macro: anon-var-name? X
Package

gambol

Source

gambol.lisp (file)

Macro: anon-var? X
Package

gambol

Source

gambol.lisp (file)

Macro: body RULE
Package

gambol

Source

gambol.lisp (file)

Macro: cont-back CONT
Package

gambol

Source

gambol.lisp (file)

Macro: cont-goals CONT
Package

gambol

Source

gambol.lisp (file)

Macro: cont-level CONT
Package

gambol

Source

gambol.lisp (file)

Macro: cont-rules CONT
Package

gambol

Source

gambol.lisp (file)

Macro: cont-trace CONT
Package

gambol

Source

gambol.lisp (file)

Macro: cont-trail CONT
Package

gambol

Source

gambol.lisp (file)

Macro: fail-continue GOAL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Macro: functor TERM
Package

gambol

Source

gambol.lisp (file)

Macro: get-env FUNCTOR
Package

gambol

Source

gambol.lisp (file)

Macro: get-env-size FUNCTOR
Package

gambol

Source

gambol.lisp (file)

Macro: get-prolog-rules FUNCTOR
Package

gambol

Source

gambol.lisp (file)

Macro: goal-body GOAL
Package

gambol

Source

gambol.lisp (file)

Macro: goal-env GOAL
Package

gambol

Source

gambol.lisp (file)

Macro: goal-functor GOAL
Package

gambol

Source

gambol.lisp (file)

Macro: head RULE
Package

gambol

Source

gambol.lisp (file)

Macro: impossible? ENV
Package

gambol

Source

gambol.lisp (file)

Macro: level-tag? GOAL
Package

gambol

Source

gambol.lisp (file)

Macro: lookup-var VAR ENV
Package

gambol

Source

gambol.lisp (file)

Macro: make-cont GOALS RULES LEVEL BACK TRAIL TRACE
Package

gambol

Source

gambol.lisp (file)

Macro: make-empty-environment SIZE
Package

gambol

Source

gambol.lisp (file)

Macro: make-molecule SKEL ENV
Package

gambol

Source

gambol.lisp (file)

Macro: mol-env MOLECULE
Package

gambol

Source

gambol.lisp (file)

Macro: mol-skel MOLECULE
Package

gambol

Source

gambol.lisp (file)

Macro: molecule-p EXP
Package

gambol

Source

gambol.lisp (file)

Macro: pl-bound? X
Package

gambol

Source

gambol.lisp (file)

Macro: principal-functor RULE
Package

gambol

Source

gambol.lisp (file)

Macro: put-prolog-rules FUNCTOR RULES
Package

gambol

Source

gambol.lisp (file)

Macro: remove-all-prolog-rules ()
Package

gambol

Source

gambol.lisp (file)

Macro: remove-prolog-rules FUNCTOR
Package

gambol

Source

gambol.lisp (file)

Macro: rule-body MOLECULE
Package

gambol

Source

gambol.lisp (file)

Macro: rule-env MOLECULE
Package

gambol

Source

gambol.lisp (file)

Macro: rule-head MOLECULE
Package

gambol

Source

gambol.lisp (file)

Macro: set-env FUNCTOR ENV
Package

gambol

Source

gambol.lisp (file)

Macro: var-env X
Package

gambol

Source

gambol.lisp (file)

Macro: var-index X
Package

gambol

Source

gambol.lisp (file)

Macro: var-name X
Package

gambol

Source

gambol.lisp (file)

Macro: var? X
Package

gambol

Source

gambol.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.3 Functions

Function: %vars LIST
Package

gambol

Source

gambol.lisp (file)

Function: add-rule-to-index SKELETON FUNCTOR NUM-VARS

add a rule to the end of the database for the functor

Package

gambol

Source

gambol.lisp (file)

Function: build-binding-list VARS ENV
Package

gambol

Source

gambol.lisp (file)

Function: build-molecule SKELETON
Package

gambol

Source

gambol.lisp (file)

Function: calcify FORM ALIST
Package

gambol

Source

gambol.lisp (file)

Function: call-lisp SKEL ENV
Package

gambol

Source

gambol.lisp (file)

Function: continue-on CONT QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: copy-qstate INSTANCE
Package

gambol

Source

gambol.lisp (file)

Function: do-call GOAL GOALS LEVEL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: do-cut CONT LEVEL
Package

gambol

Source

gambol.lisp (file)

Function: do-is MOLECULE QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: do-lisp-hook MOLECULE
Package

gambol

Source

gambol.lisp (file)

Function: do-nonvar GOAL GOALS LEVEL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: do-unify GOAL QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: expand-2 EXP ENV VAR-BOX
Package

gambol

Source

gambol.lisp (file)

Function: expand-lisp-hooks TERM ENV
Package

gambol

Source

gambol.lisp (file)

Function: expand-logical-vars EXP ENV &optional QUERY
Package

gambol

Source

gambol.lisp (file)

Function: fail-trace GOAL
Package

gambol

Source

gambol.lisp (file)

Function: filter-no VALUE
Package

gambol

Source

gambol.lisp (file)

Function: filter-vars EXP
Package

gambol

Source

gambol.lisp (file)

Function: flatten LIST
Package

gambol

Source

gambol.lisp (file)

Function: get-lisp-hook-values HOOK ENV
Package

gambol

Source

gambol.lisp (file)

Function: get-rule-molecules FUNCTOR
Package

gambol

Source

gambol.lisp (file)

Function: index-rule SKELETON NUM-VARS
Package

gambol

Source

gambol.lisp (file)

Function: lhs BINDING
Package

gambol

Source

gambol.lisp (file)

Function: lisp-query? GOAL
Package

gambol

Source

gambol.lisp (file)

Function: make-goals GOALS
Package

gambol

Source

gambol.lisp (file)

Function: make-pattern-builder PATTERN
Package

gambol

Source

gambol.lisp (file)

Function: make-qstate &key (INTERACTIVE INTERACTIVE) (AUTO-BACKTRACK AUTO-BACKTRACK) (LAST-CONTINUATION LAST-CONTINUATION) (TRAIL TRAIL)
Package

gambol

Source

gambol.lisp (file)

Function: match-rule-head GOAL GOALS PENDING-RULES LEVEL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: new-goals MOLECULE
Package

gambol

Source

gambol.lisp (file)

Function: num-vars RULE
Package

gambol

Source

gambol.lisp (file)

Function: pl-bind X X-ENV Y Y-ENV QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: pl-search GOALS LEVEL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: pl-solve GOALS QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: pp-rule RULE
Package

gambol

Source

gambol.lisp (file)

Function: push-rule SKELETON NUM-VARS
Package

gambol

Source

gambol.lisp (file)

Function: push-rule-to-index SKELETON FUNCTOR NUM-VARS

add a rule to the beginning of the database for the functor

Package

gambol

Source

gambol.lisp (file)

Function: qstate-auto-backtrack INSTANCE
Function: (setf qstate-auto-backtrack) VALUE INSTANCE
Package

gambol

Source

gambol.lisp (file)

Function: qstate-interactive INSTANCE
Function: (setf qstate-interactive) VALUE INSTANCE
Package

gambol

Source

gambol.lisp (file)

Function: qstate-last-continuation INSTANCE
Function: (setf qstate-last-continuation) VALUE INSTANCE
Package

gambol

Source

gambol.lisp (file)

Function: qstate-p OBJECT
Package

gambol

Source

gambol.lisp (file)

Function: qstate-trail INSTANCE
Function: (setf qstate-trail) VALUE INSTANCE
Package

gambol

Source

gambol.lisp (file)

Function: remove-alternatives CONT LEVEL
Package

gambol

Source

gambol.lisp (file)

Function: replace-var-mol SKEL ENV-LIST
Package

gambol

Source

gambol.lisp (file)

Function: retract-fact FACT
Package

gambol

Source

gambol.lisp (file)

Function: rhs BINDING
Package

gambol

Source

gambol.lisp (file)

Function: rule-part RULE-PAIR
Package

gambol

Source

gambol.lisp (file)

Function: search-rules GOALS RULES LEVEL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: show-bindings VARS ENVS
Package

gambol

Source

gambol.lisp (file)

Function: show-one-binding BINDING
Package

gambol

Source

gambol.lisp (file)

Function: subst-alist ALIST TREE &key TEST
Package

gambol

Source

gambol.lisp (file)

Function: succeed BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: succeed-continue GOAL GOALS RULE LEVEL BACK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: succeed-trace GOAL RULE BACK
Package

gambol

Source

gambol.lisp (file)

Function: transform-lisp-rule RULE
Package

gambol

Source

gambol.lisp (file)

Function: transform-rule RULE
Package

gambol

Source

gambol.lisp (file)

Function: unbind-var BINDING
Package

gambol

Source

gambol.lisp (file)

Function: unify X X-ENV Y Y-ENV QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: unify1 X Y QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: unify2 X Y QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: untrail MARK QSTATE
Package

gambol

Source

gambol.lisp (file)

Function: var-name? X
Package

gambol

Source

gambol.lisp (file)

Function: x-view-var X ENV
Package

gambol

Source

gambol.lisp (file)

Function: y-view-var Y ENV
Package

gambol

Source

gambol.lisp (file)


Previous: , Up: Internal definitions   [Contents][Index]

6.2.4 Structures

Structure: qstate ()
Package

gambol

Source

gambol.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: interactive
Readers

qstate-interactive (function)

Writers

(setf qstate-interactive) (function)

Slot: auto-backtrack
Readers

qstate-auto-backtrack (function)

Writers

(setf qstate-auto-backtrack) (function)

Slot: last-continuation
Readers

qstate-last-continuation (function)

Writers

(setf qstate-last-continuation) (function)

Slot: trail
Readers

qstate-trail (function)

Writers

(setf qstate-trail) (function)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   G   L   M  
Index Entry  Section

F
File, Lisp, gambol.asd: The gambol<dot>asd file
File, Lisp, gambol/src/gambol.lisp: The gambol/src/gambol<dot>lisp file

G
gambol.asd: The gambol<dot>asd file
gambol/src: The gambol/src module
gambol/src/gambol.lisp: The gambol/src/gambol<dot>lisp file

L
Lisp File, gambol.asd: The gambol<dot>asd file
Lisp File, gambol/src/gambol.lisp: The gambol/src/gambol<dot>lisp file

M
Module, gambol/src: The gambol/src module

Jump to:   F   G   L   M  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   %   (   *   ?  
A   B   C   D   E   F   G   H   I   L   M   N   P   Q   R   S   T   U   V   W   X   Y  
Index Entry  Section

%
%vars: Internal functions

(
(setf qstate-auto-backtrack): Internal functions
(setf qstate-interactive): Internal functions
(setf qstate-last-continuation): Internal functions
(setf qstate-trail): Internal functions

*
*-: Exported macros

?
?-: Exported macros
??-: Exported macros

A
add-new-var: Internal macros
add-rule-to-index: Internal functions
all-prolog-rules: Internal macros
anon-var-name?: Internal macros
anon-var?: Internal macros

B
bagof: Exported macros
body: Internal macros
build-binding-list: Internal functions
build-molecule: Internal functions

C
calcify: Internal functions
call-lisp: Internal functions
clear-rules: Exported functions
cont-back: Internal macros
cont-goals: Internal macros
cont-level: Internal macros
cont-rules: Internal macros
cont-trace: Internal macros
cont-trail: Internal macros
continue-on: Internal functions
copy-qstate: Internal functions
current-rulebase: Exported functions

D
do-call: Internal functions
do-cut: Internal functions
do-is: Internal functions
do-lisp-hook: Internal functions
do-nonvar: Internal functions
do-unify: Internal functions

E
expand-2: Internal functions
expand-lisp-hooks: Internal functions
expand-logical-vars: Internal functions

F
fail-continue: Internal macros
fail-trace: Internal functions
filter-no: Internal functions
filter-vars: Internal functions
flatten: Internal functions
Function, %vars: Internal functions
Function, (setf qstate-auto-backtrack): Internal functions
Function, (setf qstate-interactive): Internal functions
Function, (setf qstate-last-continuation): Internal functions
Function, (setf qstate-trail): Internal functions
Function, add-rule-to-index: Internal functions
Function, build-binding-list: Internal functions
Function, build-molecule: Internal functions
Function, calcify: Internal functions
Function, call-lisp: Internal functions
Function, clear-rules: Exported functions
Function, continue-on: Internal functions
Function, copy-qstate: Internal functions
Function, current-rulebase: Exported functions
Function, do-call: Internal functions
Function, do-cut: Internal functions
Function, do-is: Internal functions
Function, do-lisp-hook: Internal functions
Function, do-nonvar: Internal functions
Function, do-unify: Internal functions
Function, expand-2: Internal functions
Function, expand-lisp-hooks: Internal functions
Function, expand-logical-vars: Internal functions
Function, fail-trace: Internal functions
Function, filter-no: Internal functions
Function, filter-vars: Internal functions
Function, flatten: Internal functions
Function, get-lisp-hook-values: Internal functions
Function, get-rule-molecules: Internal functions
Function, index-rule: Internal functions
Function, lhs: Internal functions
Function, lisp-query?: Internal functions
Function, make-goals: Internal functions
Function, make-pattern-builder: Internal functions
Function, make-qstate: Internal functions
Function, make-rulebase: Exported functions
Function, match-rule-head: Internal functions
Function, new-goals: Internal functions
Function, num-vars: Internal functions
Function, parse-rules: Exported functions
Function, pl-assert: Exported functions
Function, pl-asserta: Exported functions
Function, pl-bind: Internal functions
Function, pl-retract: Exported functions
Function, pl-search: Internal functions
Function, pl-solve: Internal functions
Function, pl-solve-all: Exported functions
Function, pl-solve-one: Exported functions
Function, pp-rule: Internal functions
Function, print-rule: Exported functions
Function, print-rules: Exported functions
Function, push-rule: Internal functions
Function, push-rule-to-index: Internal functions
Function, qstate-auto-backtrack: Internal functions
Function, qstate-interactive: Internal functions
Function, qstate-last-continuation: Internal functions
Function, qstate-p: Internal functions
Function, qstate-trail: Internal functions
Function, remove-alternatives: Internal functions
Function, replace-var-mol: Internal functions
Function, retract-fact: Internal functions
Function, rhs: Internal functions
Function, rule-part: Internal functions
Function, search-rules: Internal functions
Function, show-bindings: Internal functions
Function, show-one-binding: Internal functions
Function, subst-alist: Internal functions
Function, succeed: Internal functions
Function, succeed-continue: Internal functions
Function, succeed-trace: Internal functions
Function, transform-lisp-rule: Internal functions
Function, transform-rule: Internal functions
Function, unbind-var: Internal functions
Function, unify: Internal functions
Function, unify1: Internal functions
Function, unify2: Internal functions
Function, untrail: Internal functions
Function, var-name?: Internal functions
Function, x-view-var: Internal functions
Function, y-view-var: Internal functions
functor: Internal macros

G
get-env: Internal macros
get-env-size: Internal macros
get-lisp-hook-values: Internal functions
get-prolog-rules: Internal macros
get-rule-molecules: Internal functions
goal-body: Internal macros
goal-env: Internal macros
goal-functor: Internal macros

H
head: Internal macros

I
impossible?: Internal macros
index-rule: Internal functions

L
level-tag?: Internal macros
lhs: Internal functions
lisp: Exported macros
lisp-query?: Internal functions
lookup-var: Internal macros
lop: Exported macros

M
Macro, *-: Exported macros
Macro, ?-: Exported macros
Macro, ??-: Exported macros
Macro, add-new-var: Internal macros
Macro, all-prolog-rules: Internal macros
Macro, anon-var-name?: Internal macros
Macro, anon-var?: Internal macros
Macro, bagof: Exported macros
Macro, body: Internal macros
Macro, cont-back: Internal macros
Macro, cont-goals: Internal macros
Macro, cont-level: Internal macros
Macro, cont-rules: Internal macros
Macro, cont-trace: Internal macros
Macro, cont-trail: Internal macros
Macro, fail-continue: Internal macros
Macro, functor: Internal macros
Macro, get-env: Internal macros
Macro, get-env-size: Internal macros
Macro, get-prolog-rules: Internal macros
Macro, goal-body: Internal macros
Macro, goal-env: Internal macros
Macro, goal-functor: Internal macros
Macro, head: Internal macros
Macro, impossible?: Internal macros
Macro, level-tag?: Internal macros
Macro, lisp: Exported macros
Macro, lookup-var: Internal macros
Macro, lop: Exported macros
Macro, make-cont: Internal macros
Macro, make-empty-environment: Internal macros
Macro, make-molecule: Internal macros
Macro, mol-env: Internal macros
Macro, mol-skel: Internal macros
Macro, molecule-p: Internal macros
Macro, pl-bound?: Internal macros
Macro, principal-functor: Internal macros
Macro, put-prolog-rules: Internal macros
Macro, remove-all-prolog-rules: Internal macros
Macro, remove-prolog-rules: Internal macros
Macro, rule-body: Internal macros
Macro, rule-env: Internal macros
Macro, rule-head: Internal macros
Macro, set-env: Internal macros
Macro, setof: Exported macros
Macro, var-env: Internal macros
Macro, var-index: Internal macros
Macro, var-name: Internal macros
Macro, var?: Internal macros
Macro, with-rulebase: Exported macros
make-cont: Internal macros
make-empty-environment: Internal macros
make-goals: Internal functions
make-molecule: Internal macros
make-pattern-builder: Internal functions
make-qstate: Internal functions
make-rulebase: Exported functions
match-rule-head: Internal functions
mol-env: Internal macros
mol-skel: Internal macros
molecule-p: Internal macros

N
new-goals: Internal functions
num-vars: Internal functions

P
parse-rules: Exported functions
pl-assert: Exported functions
pl-asserta: Exported functions
pl-bind: Internal functions
pl-bound?: Internal macros
pl-retract: Exported functions
pl-search: Internal functions
pl-solve: Internal functions
pl-solve-all: Exported functions
pl-solve-one: Exported functions
pp-rule: Internal functions
principal-functor: Internal macros
print-rule: Exported functions
print-rules: Exported functions
push-rule: Internal functions
push-rule-to-index: Internal functions
put-prolog-rules: Internal macros

Q
qstate-auto-backtrack: Internal functions
qstate-interactive: Internal functions
qstate-last-continuation: Internal functions
qstate-p: Internal functions
qstate-trail: Internal functions

R
remove-all-prolog-rules: Internal macros
remove-alternatives: Internal functions
remove-prolog-rules: Internal macros
replace-var-mol: Internal functions
retract-fact: Internal functions
rhs: Internal functions
rule-body: Internal macros
rule-env: Internal macros
rule-head: Internal macros
rule-part: Internal functions

S
search-rules: Internal functions
set-env: Internal macros
setof: Exported macros
show-bindings: Internal functions
show-one-binding: Internal functions
subst-alist: Internal functions
succeed: Internal functions
succeed-continue: Internal functions
succeed-trace: Internal functions

T
transform-lisp-rule: Internal functions
transform-rule: Internal functions

U
unbind-var: Internal functions
unify: Internal functions
unify1: Internal functions
unify2: Internal functions
untrail: Internal functions

V
var-env: Internal macros
var-index: Internal macros
var-name: Internal macros
var-name?: Internal functions
var?: Internal macros

W
with-rulebase: Exported macros

X
x-view-var: Internal functions

Y
y-view-var: Internal functions

Jump to:   %   (   *   ?  
A   B   C   D   E   F   G   H   I   L   M   N   P   Q   R   S   T   U   V   W   X   Y  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables

Jump to:   *  
A   I   L   S   T  
Index Entry  Section

*
*builtin-functors*: Internal special variables
*error-missing-rule*: Exported special variables
*impossible*: Internal special variables
*lips*: Exported special variables
*num-slots*: Internal special variables
*prolog-rules*: Internal special variables
*solved*: Internal special variables
*top-level-envs*: Internal special variables
*top-level-vars*: Internal special variables
*tracing*: Exported special variables
*x-env*: Internal special variables
*y-env*: Internal special variables

A
auto-backtrack: Internal structures

I
interactive: Internal structures

L
last-continuation: Internal structures

S
Slot, auto-backtrack: Internal structures
Slot, interactive: Internal structures
Slot, last-continuation: Internal structures
Slot, trail: Internal structures
Special Variable, *builtin-functors*: Internal special variables
Special Variable, *error-missing-rule*: Exported special variables
Special Variable, *impossible*: Internal special variables
Special Variable, *lips*: Exported special variables
Special Variable, *num-slots*: Internal special variables
Special Variable, *prolog-rules*: Internal special variables
Special Variable, *solved*: Internal special variables
Special Variable, *top-level-envs*: Internal special variables
Special Variable, *top-level-vars*: Internal special variables
Special Variable, *tracing*: Exported special variables
Special Variable, *x-env*: Internal special variables
Special Variable, *y-env*: Internal special variables

T
trail: Internal structures

Jump to:   *  
A   I   L   S   T  

Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   G   P   Q   S  
Index Entry  Section

G
gambol: The gambol system
gambol: The gambol package
gambol-asd: The gambol-asd package

P
Package, gambol: The gambol package
Package, gambol-asd: The gambol-asd package

Q
qstate: Internal structures

S
Structure, qstate: Internal structures
System, gambol: The gambol system

Jump to:   G   P   Q   S