The paiprolog Reference Manual

Table of Contents

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

The paiprolog Reference Manual

This is the paiprolog Reference Manual, generated automatically by Declt version 2.3 "Robert April" on Tue Feb 20 09:08:50 2018 GMT+0.


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

1 Introduction

PAIProlog
forked from http://www.cl-user.net/asp/TWKe/sdataQ0rEOGCGW7roDQdmZG8X8yBX8yBXnMq=/sdataQu3F$sSHnB==




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 paiprolog

Source

paiprolog.asd (file)

Components

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

3 Files

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


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

3.1 Lisp


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

3.1.1 paiprolog.asd

Location

paiprolog.asd

Systems

paiprolog (system)


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

3.1.2 paiprolog/package.lisp

Parent

paiprolog (system)

Location

package.lisp

Packages

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

3.1.3 paiprolog/auxfns.lisp

Dependency

package.lisp (file)

Parent

paiprolog (system)

Location

auxfns.lisp

Exported Definitions
Internal Definitions

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

3.1.4 paiprolog/patmatch.lisp

Dependency

package.lisp (file)

Parent

paiprolog (system)

Location

patmatch.lisp

Exported Definitions
Internal Definitions

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

3.1.5 paiprolog/unify.lisp

Dependencies
Parent

paiprolog (system)

Location

unify.lisp

Internal Definitions

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

3.1.6 paiprolog/prolog.lisp

Dependencies
Parent

paiprolog (system)

Location

prolog.lisp

Exported Definitions

?- (macro)

Internal Definitions

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

3.1.7 paiprolog/prologc.lisp

Dependencies
Parent

paiprolog (system)

Location

prologc.lisp

Exported Definitions
Internal Definitions

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

3.1.8 paiprolog/prologcp.lisp

Dependencies
Parent

paiprolog (system)

Location

prologcp.lisp

Internal Definitions

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

3.1.9 paiprolog/prolog-ext.lisp

Dependency

prologc.lisp (file)

Parent

paiprolog (system)

Location

prolog-ext.lisp

Exported Definitions
Internal Definitions

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

4 Packages

Packages are listed by definition order.


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

4.1 paiprolog

Source

package.lisp (file)

Use List
Exported Definitions
Internal Definitions

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

4.2 paiprolog.auxfns

Source

package.lisp (file)

Use List

common-lisp

Used By List

paiprolog

Exported Definitions
Internal Definitions

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

5 Definitions

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


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

5.1 Exported definitions


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

5.1.1 Constants

Constant: fail
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Constant: no-bindings
Package

paiprolog.auxfns

Source

auxfns.lisp (file)


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

5.1.2 Macros

Macro: <- &rest CLAUSE

Add a clause to the data base.

Package

paiprolog

Source

prologc.lisp (file)

Macro: <-- &rest CLAUSE

Retract a same arity clause from the data base, and add a clause to the data base.

Package

paiprolog

Source

prolog-ext.lisp (file)

Macro: ?- &rest GOALS
Package

paiprolog

Source

prolog.lisp (file)

Macro: define-enumerated-type TYPE &rest ELEMENTS

Represent an enumerated type with integers 0-n.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: defresource NAME &key CONSTRUCTOR INITIAL-COPIES SIZE
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: defun-memo FN ARGS &body BODY

Define a memoized function.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: delay &rest BODY

A computation that can be executed later by FORCE.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: funcall-if FN ARG
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: once-only VARIABLES &rest BODY

Returns the code built by BODY. If any of VARIABLES might have side effects, they are evaluated once and stored in temporary variables that are then passed to BODY.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: prolog &rest GOALS

Run Prolog in the surrounding Lisp environment which is accessed from lisp functor.

Package

paiprolog

Source

prolog-ext.lisp (file)

Macro: prolog-collect (&rest VARS) &body BODY

collect all bindings of vars

Package

paiprolog

Source

prolog-ext.lisp (file)

Macro: prolog-first (&rest VARS) &body BODY

return first bindding of vars

Package

paiprolog

Source

prolog-ext.lisp (file)

Macro: read-time-case FIRST-CASE &rest OTHER-CASES

Do the first case, where normally cases are specified with #+ or possibly #- marks.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Macro: with-resource (VAR RESOURCE &optional PROTECT) &rest BODY

Execute body with VAR bound to an instance of RESOURCE.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)


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

5.1.3 Functions

Function: ? ()
Package

paiprolog

Source

prologc.lisp (file)

Function: binding-val BINDING

Get the value part of a single binding.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: binding-var BINDING

Get the variable part of a single binding.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: clear-memoize FN-NAME

Clear the hash table from a memo function.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: compose &rest FUNCTIONS
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: dbg ID FORMAT-STRING &rest ARGS

Print debugging info if (DEBUG ID) has been specified.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: dbg-indent ID INDENT FORMAT-STRING &rest ARGS

Print indented debugging info if (DEBUG ID) has been specified.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: debug &rest IDS

Start dbg output on the given ids.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: dequeue Q

Remove an item from the front of the queue.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: empty-queue-p Q
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: enqueue ITEM Q

Insert item at the end of the queue.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: extend-bindings VAR VAL BINDINGS

Add a (var . value) pair to a binding list.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: find-all ITEM SEQUENCE &rest KEYWORD-ARGS &key TEST TEST-NOT &allow-other-keys

Find all those elements of sequence that match item, according to the keywords. Doesn’t alter sequence.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: find-all-if PREDICATE SEQUENCE &rest ARGS &key FROM-END START END COUNT KEY

Return a copy of sequence with elements not satisfying PREDICATE removed.

Package

paiprolog.auxfns

Source

SYS:SRC;CODE;SEQ.LISP (not found)

Function: find-anywhere ITEM TREE

Does item occur anywhere in tree?

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: find-if-anywhere PREDICATE TREE

Does predicate apply to any atom in the tree?

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: first-or-nil X

The first element of x if it is a list; else nil.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: first-or-self X

The first element of x, if it is a list; else x itself.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: flatten EXP

Get rid of imbedded lists (to one level only).

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: force DELAY

Do a delayed computation, or fetch its previously-computed value.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: front Q
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: get-binding VAR BINDINGS

Find a (variable . value) pair in a binding list.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: last1 LIST

Return the last element (not last cons cell) of list

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: length=1 X

Is x a list of length 1?

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: lookup VAR BINDINGS

Get the value part (for var) from a binding list.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: make-binding VAR VAL
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: make-queue ()

Build a new queue, with no elements.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: mappend FN LIST

Append the results of calling fn on each element of list. Like mapcon, but uses append instead of nconc.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: match-variable VAR INPUT BINDINGS

Does VAR match input? Uses (or updates) and returns bindings.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: maybe-add OP EXPS &optional IF-NIL

For example, (maybe-add ’and exps t) returns
t if exps is nil, exps if there is only one, and (and exp1 exp2...) if there are several exps.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: maybe-set-fill-pointer ARRAY NEW-LENGTH

If this is an array with a fill pointer, set it to new-length, if that is longer than the current length.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: member-equal ITEM LIST
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: memo FN &key KEY TEST NAME

Return a memo-function of fn.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: memoize FN-NAME &key KEY TEST

Replace fn-name’s global definition with a memoized version.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: mklist X

If x is a list return it, otherwise return the list of x

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: new-symbol &rest ARGS

Concatenate symbols or strings to form an uninterned symbol

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: not-null X
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: partition-if PRED LIST

Return 2 values: elements of list that satisfy pred, and elements that don’t.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: pat-match PATTERN INPUT &optional BINDINGS

Match pattern against input in the context of the bindings

Package

paiprolog.auxfns

Source

patmatch.lisp (file)

Function: queue-contents Q
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: queue-nconc Q LIST

Add the elements of LIST to the end of the queue.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: random-elt SEQ

Pick a random element out of a sequence.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: rest2 X

The rest of a list after the first TWO elements.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: rest3 LIST

The rest of a list after the first THREE elements.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: reuse-cons X Y X-Y

Return (cons x y), or reuse x-y if it is equal to (cons x y)

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: seq-ref SEQ INDEX

Return code that indexes into a sequence, using the pop-lists/aref-vectors strategy.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: side-effect-free? EXP

Is exp a constant, variable, or function,
or of the form (THE type x) where x is side-effect-free?

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: sort* SEQ PRED &key KEY

Sort without altering the sequence

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: starts-with LIST X

Is x a list whose first element is x?

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: symbol &rest ARGS

Concatenate symbols or strings to form an interned symbol

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: undebug &rest IDS

Stop dbg on the ids. With no ids, stop dbg altogether.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: unique-find-if-anywhere PREDICATE TREE &optional FOUND-SO-FAR

Return a list of leaves of tree satisfying predicate, with duplicates removed.

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: variable-p X

Is x a variable (a symbol beginning with ‘?’)?

Package

paiprolog.auxfns

Source

patmatch.lisp (file)


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

5.1.4 Structures

Structure: delay ()
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: value
Readers

delay-value (function)

Writers

(setf delay-value) (function)

Slot: computed?
Readers

delay-computed? (function)

Writers

(setf delay-computed?) (function)

Structure: var ()
Package

paiprolog

Source

prologc.lisp (file)

Direct superclasses

structure-object (structure)

Direct methods

print-object (method)

Direct slots
Slot: name
Initform

(incf paiprolog::*var-counter*)

Readers

var-name (function)

Writers

(setf var-name) (function)

Slot: binding
Initform

paiprolog::unbound

Readers

var-binding (function)

Writers

(setf var-binding) (function)


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

5.2 Internal definitions


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

5.2.1 Constants

Constant: unbound
Package

paiprolog

Source

prologc.lisp (file)


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

5.2.2 Special variables

Special Variable: *db-predicates*

a list of all predicates stored in the database.

Package

paiprolog

Source

prolog.lisp (file)

Special Variable: *dbg-ids*

Identifiers used by dbg

Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Special Variable: *occurs-check*

Should we do the occurs check?

Package

paiprolog

Source

unify.lisp (file)

Special Variable: *predicate*

The Prolog predicate currently being compiled

Package

paiprolog

Source

prologc.lisp (file)

Special Variable: *trail*
Package

paiprolog

Source

prologc.lisp (file)

Special Variable: *uncompiled*

Prolog symbols that have not been compiled.

Package

paiprolog

Source

prologc.lisp (file)

Special Variable: *var-counter*
Package

paiprolog

Source

prologc.lisp (file)


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

5.2.3 Macros

Macro: def-prolog-compiler-macro NAME ARGLIST &body BODY

Define a compiler macro for Prolog.

Package

paiprolog

Source

prologc.lisp (file)

Macro: deref EXP

Follow pointers for bound variables.

Package

paiprolog

Source

prologc.lisp (file)

Macro: with-stream (S-VAR S) &body BODY
Package

paiprolog

Source

prologcp.lisp (file)

Macro: with-undo-bindings &body BODY

Undo bindings after each expression in body except the last.

Package

paiprolog

Source

prologcp.lisp (file)


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

5.2.4 Functions

Function: !/0 CONT

7.8.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: </2 ?E1 ?E2 CONT

8.7.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: =.. ?TERM ?LIST CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: =/2 ?ARG1 ?ARG2 CONT

8.2.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: =:=/2 ?E1 ?E2 CONT

8.7.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: =</2 ?E1 ?E2 CONT

8.7.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: ==/2 ?X ?Y CONT

8.4.1: Are the two arguments EQUAL with no unification, but with dereferencing? If so, succeed.

Package

paiprolog

Source

prologcp.lisp (file)

Function: =\=/2 ?E1 ?E2 CONT

8.7.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: >/2 ?E1 ?E2 CONT

8.7.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: >=/2 ?E1 ?E2 CONT

8.7.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: @</2 ?X ?Y CONT

8.4.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: @=</2 ?X ?Y CONT

8.4.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: @>/2 ?X ?Y CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: @>=/2 ?X ?Y CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: \=/2 ?ARG1 ?ARG2 CONT

8.2.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: \==/2 ?X ?Y CONT

8.4.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: abolish/1 ?PI CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: add-clause CLAUSE &key ASSERTA

Add a clause to the data base, indexed by head’s predicate.

Package

paiprolog

Source

prologc.lisp (file)

Function: anon-vars-in TREE SEEN-ONCE SEEN-MORE

Walk the data structure TREE, returning a list of variabless seen once, and a list of variables seen more than once.

Package

paiprolog

Source

prologc.lisp (file)

Function: anonymous-variables-in TREE

Return a list of all variables that occur only once in tree.

Package

paiprolog

Source

prologc.lisp (file)

Function: arg/3 ?N ?TERM ?ARG CONT

8.5.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: args X

The arguments of a relation

Package

paiprolog

Source

prologc.lisp (file)

Function: asserta/1 ?CLAUSE CONT

8.9.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: assertz/1 ?CLAUSE CONT

8.9.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: at-end-of-stream/0 CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: at-end-of-stream/1 ?STREAM-OR-ALIAS CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: atom-characters/2 ?ATOM ?CHARACTERS CONT

for Common Lisp

Package

paiprolog

Source

prologcp.lisp (file)

Function: atom-chars/2 ?ATOM ?LIST CONT

8.16.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: atom-codes/2 ?ATOM ?CODES CONT

8.16.5

Package

paiprolog

Source

prologcp.lisp (file)

Function: atom-concat/3 ?ATOM1 ?ATOM2 ?ATOM12 CONT

8.16.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: atom-length/2 ?ATOM ?LENGTH CONT

8.16.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: atom/1 X CONT

8.3.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: atomic/1 X CONT

8.3.5

Package

paiprolog

Source

prologcp.lisp (file)

Function: atomicp EXP
Package

paiprolog

Source

prologcp.lisp (file)

Function: bagof/3 EXP GOAL RESULT CONT

8.10.2: Find all solutions to GOAL, and for each solution, collect the value of EXP into the list RESULT.

Package

paiprolog

Source

prologcp.lisp (file)

Function: bind-new-variables BINDINGS GOAL

Extend bindings to include any unbound variables in goal.

Package

paiprolog

Source

prologc.lisp (file)

Function: bind-unbound-vars PARAMETERS EXP

If there are any variables in exp (besides the parameters) then bind them to new vars.

Package

paiprolog

Source

prologc.lisp (file)

Function: bind-variables-in EXP BINDINGS

Bind all variables in exp to themselves, and add that to bindings (except for variables already bound).

Package

paiprolog

Source

prologc.lisp (file)

Function: bound-p VAR
Package

paiprolog

Source

prologc.lisp (file)

Function: call/1 ?G CONT

7.8.3: Try to prove goal by calling it.

Package

paiprolog

Source

prologcp.lisp (file)

Function: catch/3 ?GOAL ?CATCH ?RECOVER CONT

7.8.9

Package

paiprolog

Source

prologcp.lisp (file)

Function: char-code/2 ?CHAR ?CODE CONT

8.16.6

Package

paiprolog

Source

prologcp.lisp (file)

Function: clause-body CLAUSE
Package

paiprolog

Source

prolog.lisp (file)

Function: clause-head CLAUSE
Package

paiprolog

Source

prolog.lisp (file)

Function: clause/2 ?HEAD ?BODY CONT

8.8.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: clauses-with-arity CLAUSES TEST ARITY

Return all clauses whose head has given arity.

Package

paiprolog

Source

prologc.lisp (file)

Function: clear-db ()

remove all clauses (for all predicates) from the data base.

Package

paiprolog

Source

prolog.lisp (file)

Function: clear-predicate PREDICATE

remove the clauses for a single predicate.

Package

paiprolog

Source

prolog.lisp (file)

Function: close/1 ?STREAM-OR-ALIAS CONT

8.11.7

Package

paiprolog

Source

prologcp.lisp (file)

Function: close/2 ?STREAM-OR-ALIAS ?OPTIONS CONT

8.11.8

Package

paiprolog

Source

prologcp.lisp (file)

Function: compile-arg ARG BINDINGS

Generate code for an argument to a goal in the body.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-body BODY CONT BINDINGS

Compile the body of a clause.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-call PREDICATE ARGS CONT

Compile a call to a prolog predicate.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-clause PARMS CLAUSE CONT

Transform away the head, and compile the resulting body.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-if PRED THEN-PART

Compile a Lisp IF form. No else-part allowed.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-predicate SYMBOL ARITY CLAUSES

Compile all the clauses for a given symbol/arity into a single LISP function.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-unify X Y BINDINGS

Return 2 values: code to test if x and y unify, and a new binding list.

Package

paiprolog

Source

prologc.lisp (file)

Function: compile-unify-variable X Y BINDINGS

X is a variable, and Y may be.

Package

paiprolog

Source

prologc.lisp (file)

Function: compound/1 X CONT

8.3.6

Package

paiprolog

Source

prologcp.lisp (file)

Function: continue-p ()

Ask user if we should continue looking for solutions.

Package

paiprolog

Source

prolog.lisp (file)

Function: copy-delay INSTANCE
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: copy-term/2 ?TERM1 ?TERM2 CONT

8.5.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: copy-var INSTANCE
Package

paiprolog

Source

prologc.lisp (file)

Function: current-input/1 ?STREAM CONT

8.11.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: current-output/1 ?STREAM CONT

8.11.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: current-predicate/1 ?PI CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: delay-computed? INSTANCE
Function: (setf delay-computed?) VALUE INSTANCE
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: delay-p OBJECT
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: delay-value INSTANCE
Function: (setf delay-value) VALUE INSTANCE
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: deref-copy EXP

Copy the expression, replacing variables with new ones. The part without variables can be returned as is.

Package

paiprolog

Source

prologcp.lisp (file)

Function: deref-equal X Y

Are the two arguments EQUAL with no unification, but with dereferencing?

Package

paiprolog

Source

prologcp.lisp (file)

Function: deref-exp EXP

Build something equivalent to EXP with variables dereferenced.

Package

paiprolog

Source

prologc.lisp (file)

Function: destructure-if-then-else GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: expand-pat-match-abbrev PAT

Expand out all pattern matching abbreviations in pat.

Package

paiprolog

Source

patmatch.lisp (file)

Function: explode SYMBOL
Package

paiprolog

Source

prologcp.lisp (file)

Function: fail-if/1 RELATION CONT

8.15.1: Negation by failure: If you can’t prove G, then (not G) true.

Package

paiprolog

Source

prologcp.lisp (file)

Function: fail/0 CONT

7.8.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: find-anywhere-if PREDICATE TREE

does predicate apply to any atom in the tree?

Package

paiprolog

Source

prolog.lisp (file)

Function: findall/3 TERM GOAL BAG CONT

8.10.1: Find all solutions to GOAL, and for each solution, collect the value of TERM into the list BAG.

Package

paiprolog

Source

prologcp.lisp (file)

Function: first-match-pos PAT1 INPUT START

Find the first position that pat1 could possibly match input, starting at position start. If pat1 is non-constant, then just return start.

Package

paiprolog

Source

patmatch.lisp (file)

Function: flush-output/0 CONT

8.11.9

Package

paiprolog

Source

prologcp.lisp (file)

Function: flush-output/1 ?STREAM-OR-ALIAS CONT

8.11.10

Package

paiprolog

Source

prologcp.lisp (file)

Function: follow-binding VAR BINDINGS

Get the ultimate binding of var according to bindings.

Package

paiprolog

Source

prologc.lisp (file)

Function: functor/3 ?TERM ?NAME ?ARITY CONT

8.5.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: get-char/1 ?CHAR CONT

8.12.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: get-char/2 ?STREAM-OR-ALIAS ?CHAR CONT

8.12.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: get-clauses PRED
Package

paiprolog

Source

prolog.lisp (file)

Function: get-code/1 ?CODE CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: get-code/2 ?STREAM-OR-ALIAS ?CODE CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: goal-and-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-conjunction-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-cut-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-disjunction-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-if-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-if-then-else-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-if-then-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: goal-or-p GOAL
Package

paiprolog

Source

prologc.lisp (file)

Function: has-variable-p X

Is there a variable anywhere in the expression x?

Package

paiprolog

Source

prologc.lisp (file)

Function: ignore &rest ARGS
Package

paiprolog

Source

prologc.lisp (file)

Function: implode LIST
Package

paiprolog

Source

prologcp.lisp (file)

Function: insert-deref EXP
Package

paiprolog

Source

prolog-ext.lisp (file)

Function: integer/1 X CONT

8.3.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: is/2 VAR EXP CONT

8.6.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: make-= X Y
Package

paiprolog

Source

prologc.lisp (file)

Function: make-anonymous EXP &optional ANON-VARS

Replace variables that are only used once with ?.

Package

paiprolog

Source

prologc.lisp (file)

Function: make-delay &key (VALUE VALUE) (COMPUTED? COMPUTED?)
Package

paiprolog.auxfns

Source

auxfns.lisp (file)

Function: make-parameters ARITY

Return the list (?arg1 ?arg2 ... ?arg-arity)

Package

paiprolog

Source

prologc.lisp (file)

Function: make-predicate SYMBOL ARITY

Return the symbol: symbol/arity

Package

paiprolog

Source

prologc.lisp (file)

Function: make-renamed-copy TERM
Package

paiprolog

Source

prologcp.lisp (file)

Function: match-and PATTERNS INPUT BINDINGS

Succeed if all the patterns match the input.

Package

paiprolog

Source

patmatch.lisp (file)

Function: match-if PATTERN INPUT BINDINGS

Test an arbitrary expression involving variables. The pattern looks like ((?if code) . rest).

Package

paiprolog

Source

patmatch.lisp (file)

Function: match-is VAR-AND-PRED INPUT BINDINGS

Succeed and bind var if the input satisfies pred, where var-and-pred is the list (var pred).

Package

paiprolog

Source

patmatch.lisp (file)

Function: match-not PATTERNS INPUT BINDINGS

Succeed if none of the patterns match the input. This will never bind any variables.

Package

paiprolog

Source

patmatch.lisp (file)

Function: match-or PATTERNS INPUT BINDINGS

Succeed if any one of the patterns match the input.

Package

paiprolog

Source

patmatch.lisp (file)

Function: maybe-add-undo-bindings COMPILED-EXPS

Undo any bindings that need undoing.
If there are any, bind the trail before we start.

Package

paiprolog

Source

prologc.lisp (file)

Function: nl/0 CONT

8.12.5

Package

paiprolog

Source

prologcp.lisp (file)

Function: nl/1 ?STREAM-OR-ALIAS CONT

8.12.6

Package

paiprolog

Source

prologcp.lisp (file)

Function: non-anon-variable-p X
Package

paiprolog

Source

prolog.lisp (file)

Function: nonvar/1 X CONT

8.3.7

Package

paiprolog

Source

prologcp.lisp (file)

Function: nonvarp EXP
Package

paiprolog

Source

prologcp.lisp (file)

Function: number-chars/2 ?NUMBER ?LIST CONT

8.16.7

Package

paiprolog

Source

prologcp.lisp (file)

Function: number-codes/2 ?NUMBER ?LIST CONT

8.16.8

Package

paiprolog

Source

prologcp.lisp (file)

Function: number/1 X CONT

8.3.8

Package

paiprolog

Source

prologcp.lisp (file)

Function: occurs-check VAR X BINDINGS

Does var occur anywhere inside x?

Package

paiprolog

Source

unify.lisp (file)

Function: once/1 THING CONT

8.15.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: open/4 ?SOURCE/SINK ?MODE ?STREAM ?OPTIONS CONT

8.11.6

Package

paiprolog

Source

prologcp.lisp (file)

Function: pat-match-abbrev SYMBOL EXPANSION

Define symbol as a macro standing for a pat-match pattern.

Package

paiprolog

Source

patmatch.lisp (file)

Function: predicate RELATION
Package

paiprolog

Source

prolog.lisp (file)

Function: print-var VAR STREAM DEPTH
Package

paiprolog

Source

prologc.lisp (file)

Function: prolog-compile SYMBOL &optional CLAUSES

Compile a symbol; make a separate function for each arity.

Package

paiprolog

Source

prologc.lisp (file)

Function: prolog-compile-symbols &optional SYMBOLS

Compile a list of Prolog symbols.
By default, the list is all symbols that need it.

Package

paiprolog

Source

prologc.lisp (file)

Function: prolog-compiler-macro NAME

Fetch the compiler macro for a Prolog predicate.

Package

paiprolog

Source

prologc.lisp (file)

Function: prolog-translate-goals GOALS
Package

paiprolog

Source

prolog-ext.lisp (file)

Function: proper-listp X

Is x a proper (non-dotted) list?

Package

paiprolog

Source

prologc.lisp (file)

Function: prove GOAL BINDINGS OTHER-GOALS

Return a list of possible solutions to goal.

Package

paiprolog

Source

prolog.lisp (file)

Function: prove-all GOALS BINDINGS

Find a solution to the conjunction of goals.

Package

paiprolog

Source

prolog.lisp (file)

Function: put-char/1 ?CHAR CONT

8.12.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: put-char/2 ?STREAM-OR-ALIAS ?CHAR CONT

8.12.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: put-code/1 ?CODE CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: put-code/2 ?STREAM-OR-ALIAS ?CODE CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: read/1 EXP CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: real/1 X CONT

8.3.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: relation-arity RELATION

The number of arguments to a relation. Example: (relation-arity ’(p a b c)) => 3

Package

paiprolog

Source

prologc.lisp (file)

Function: rename-variables X

replace all variables in x with new ones.

Package

paiprolog

Source

prolog.lisp (file)

Function: repeat/0 CONT

8.15.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: replace-?-vars EXP

Replace any ? within exp with a var of the form ?123.

Package

paiprolog

Source

prolog.lisp (file)

Function: retract-clause CLAUSE

Retract a clause from the data base

Package

paiprolog

Source

prologc.lisp (file)

Function: retract-same-arity-clause CLAUSE

Retract a clause from the data base

Package

paiprolog

Source

prolog-ext.lisp (file)

Function: retract/1 ?CLAUSE CONT

8.9.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: rule-based-translator INPUT RULES &key MATCHER RULE-IF RULE-THEN ACTION

Find the first rule in rules that matches input, and apply the action to that rule.

Package

paiprolog

Source

patmatch.lisp (file)

Function: run-prolog PROCEDURE CONT

Run a 0-ary prolog procedure with a given continuation.

Package

paiprolog

Source

prologc.lisp (file)

Function: segment-match PATTERN INPUT BINDINGS &optional START

Match the segment pattern ((?* var) . pat) against input.

Package

paiprolog

Source

patmatch.lisp (file)

Function: segment-match+ PATTERN INPUT BINDINGS

Match one or more elements of input.

Package

paiprolog

Source

patmatch.lisp (file)

Function: segment-match-fn X

Get the segment-match function for x, if it is a symbol that has one.

Package

paiprolog

Source

patmatch.lisp (file)

Function: segment-match? PATTERN INPUT BINDINGS

Match zero or one element of input.

Package

paiprolog

Source

patmatch.lisp (file)

Function: segment-matcher PATTERN INPUT BINDINGS

Call the right function for this kind of segment pattern.

Package

paiprolog

Source

patmatch.lisp (file)

Function: segment-pattern-p PATTERN

Is this a segment-matching pattern like ((?* var) . pat)?

Package

paiprolog

Source

patmatch.lisp (file)

Function: self-cons X
Package

paiprolog

Source

prologc.lisp (file)

Function: set-binding! VAR VALUE

Set var’s binding to value, after saving the variable in the trail. Always returns t.

Package

paiprolog

Source

prologc.lisp (file)

Function: set-input/1 ?STREAM-OR-ALIAS CONT

8.11.4

Package

paiprolog

Source

prologcp.lisp (file)

Function: set-output/1 ?STREAM-OR-ALIAS CONT

8.11.5

Package

paiprolog

Source

prologcp.lisp (file)

Function: set-stream-position/2 ?STREAM-OR-ALIAS ?POSITION CONT

8.11.14

Package

paiprolog

Source

prologcp.lisp (file)

Function: setof/3 EXP GOAL RESULT CONT

8.10.3: Find all unique solutions to GOAL, and for each solution, collect the value of EXP into the list RESULT.

Package

paiprolog

Source

prologcp.lisp (file)

Function: show-prolog-vars VARS BINDINGS OTHER-GOALS

Print each variable with its binding.
Then ask the user if more solutions are desired.

Package

paiprolog

Source

prolog.lisp (file)

Function: show-prolog-vars/2 VAR-NAMES VARS CONT

Display the variables, and prompt the user to see
if we should continue. If not, return to the top level.

Package

paiprolog

Source

prologc.lisp (file)

Function: single-match-fn X

Get the single-match function for x, if it is a symbol that has one.

Package

paiprolog

Source

patmatch.lisp (file)

Function: single-matcher PATTERN INPUT BINDINGS

Call the right function for this kind of single pattern.

Package

paiprolog

Source

patmatch.lisp (file)

Function: single-pattern-p PATTERN

Is this a single-matching pattern?
E.g. (?is x predicate) (?and . patterns) (?or . patterns).

Package

paiprolog

Source

patmatch.lisp (file)

Function: string-atom/2 ?STRING ?ATOM CONT

for Common Lisp

Package

paiprolog

Source

prologcp.lisp (file)

Function: string-list/2 ?STRING ?LIST CONT
Package

paiprolog

Source

prologcp.lisp (file)

Function: sub-atom/4 ?ATOM ?START ?LENGTH ?SUB-ATOM CONT

8.16.3

Package

paiprolog

Source

prologcp.lisp (file)

Function: subst-bindings BINDINGS X

Substitute the value of variables in bindings into x, taking recursively bound variables into account.

Package

paiprolog

Source

unify.lisp (file)

Function: term-precedes X Y
Package

paiprolog

Source

prologcp.lisp (file)

Function: throw/1 ?BALL CONT

7.8.10

Package

paiprolog

Source

prologcp.lisp (file)

Function: top-level-prove GOALS

Prove the list of goals by compiling and calling it.

Package

paiprolog

Source

prologc.lisp (file)

Function: true/0 CONT

7.8.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: unbound-var-p EXP

Is EXP an unbound var?

Package

paiprolog

Source

prologcp.lisp (file)

Function: undo-bindings! OLD-TRAIL

Undo all bindings back to a given point in the trail.

Package

paiprolog

Source

prologc.lisp (file)

Function: unifier X Y

Return something that unifies with both x and y (or fail).

Package

paiprolog

Source

unify.lisp (file)

Function: unify X Y &optional BINDINGS

See if x and y match with given bindings.

Package

paiprolog

Source

unify.lisp (file)

Function: unify! X Y

Destructively unify two expressions

Package

paiprolog

Source

prologc.lisp (file)

Function: unify-variable VAR X BINDINGS

Unify var with x, using (and maybe extending) bindings.

Package

paiprolog

Source

unify.lisp (file)

Function: unify-with-occurs-check/2 ?ARG1 ?ARG2 CONT

8.2.2

Package

paiprolog

Source

prologcp.lisp (file)

Function: unique-find-anywhere-if PREDICATE TREE &optional FOUND-SO-FAR

return a list of leaves of tree satisfying predicate, with duplicates removed.

Package

paiprolog

Source

prolog.lisp (file)

Function: var-binding INSTANCE
Function: (setf var-binding) VALUE INSTANCE
Package

paiprolog

Source

prologc.lisp (file)

Function: var-name INSTANCE
Function: (setf var-name) VALUE INSTANCE
Package

paiprolog

Source

prologc.lisp (file)

Function: var-p OBJECT
Package

paiprolog

Source

prologc.lisp (file)

Function: var/1 X CONT

8.3.1

Package

paiprolog

Source

prologcp.lisp (file)

Function: variables-in EXP

Return a list of all the variables in EXP.

Package

paiprolog

Source

prolog.lisp (file)

Function: write/1 EXP CONT
Package

paiprolog

Source

prologcp.lisp (file)


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

5.2.5 Generic functions

Generic Function: ball CONDITION
Package

paiprolog

Methods
Method: ball (CONDITION prolog-throw)
Source

prologcp.lisp (file)


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

5.2.6 Conditions

Condition: prolog-throw ()
Package

paiprolog

Source

prologcp.lisp (file)

Direct superclasses

condition (condition)

Direct methods

ball (method)

Direct slots
Slot: ball
Initargs

:ball

Readers

ball (generic function)


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

Appendix A Indexes


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

A.1 Concepts

Jump to:   F   L   P  
Index Entry  Section

F
File, Lisp, paiprolog.asd: The paiprolog<dot>asd file
File, Lisp, paiprolog/auxfns.lisp: The paiprolog/auxfns<dot>lisp file
File, Lisp, paiprolog/package.lisp: The paiprolog/package<dot>lisp file
File, Lisp, paiprolog/patmatch.lisp: The paiprolog/patmatch<dot>lisp file
File, Lisp, paiprolog/prolog-ext.lisp: The paiprolog/prolog-ext<dot>lisp file
File, Lisp, paiprolog/prolog.lisp: The paiprolog/prolog<dot>lisp file
File, Lisp, paiprolog/prologc.lisp: The paiprolog/prologc<dot>lisp file
File, Lisp, paiprolog/prologcp.lisp: The paiprolog/prologcp<dot>lisp file
File, Lisp, paiprolog/unify.lisp: The paiprolog/unify<dot>lisp file

L
Lisp File, paiprolog.asd: The paiprolog<dot>asd file
Lisp File, paiprolog/auxfns.lisp: The paiprolog/auxfns<dot>lisp file
Lisp File, paiprolog/package.lisp: The paiprolog/package<dot>lisp file
Lisp File, paiprolog/patmatch.lisp: The paiprolog/patmatch<dot>lisp file
Lisp File, paiprolog/prolog-ext.lisp: The paiprolog/prolog-ext<dot>lisp file
Lisp File, paiprolog/prolog.lisp: The paiprolog/prolog<dot>lisp file
Lisp File, paiprolog/prologc.lisp: The paiprolog/prologc<dot>lisp file
Lisp File, paiprolog/prologcp.lisp: The paiprolog/prologcp<dot>lisp file
Lisp File, paiprolog/unify.lisp: The paiprolog/unify<dot>lisp file

P
paiprolog.asd: The paiprolog<dot>asd file
paiprolog/auxfns.lisp: The paiprolog/auxfns<dot>lisp file
paiprolog/package.lisp: The paiprolog/package<dot>lisp file
paiprolog/patmatch.lisp: The paiprolog/patmatch<dot>lisp file
paiprolog/prolog-ext.lisp: The paiprolog/prolog-ext<dot>lisp file
paiprolog/prolog.lisp: The paiprolog/prolog<dot>lisp file
paiprolog/prologc.lisp: The paiprolog/prologc<dot>lisp file
paiprolog/prologcp.lisp: The paiprolog/prologcp<dot>lisp file
paiprolog/unify.lisp: The paiprolog/unify<dot>lisp file

Jump to:   F   L   P  

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

A.2 Functions

Jump to:   !   (   <   =   >   ?   @   \  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   Q   R   S   T   U   V   W  
Index Entry  Section

!
!/0: Internal functions

(
(setf delay-computed?): Internal functions
(setf delay-value): Internal functions
(setf var-binding): Internal functions
(setf var-name): Internal functions

<
<-: Exported macros
<--: Exported macros
</2: Internal functions

=
=..: Internal functions
=/2: Internal functions
=:=/2: Internal functions
=</2: Internal functions
==/2: Internal functions
=\=/2: Internal functions

>
>/2: Internal functions
>=/2: Internal functions

?
?: Exported functions
?-: Exported macros

@
@</2: Internal functions
@=</2: Internal functions
@>/2: Internal functions
@>=/2: Internal functions

\
\=/2: Internal functions
\==/2: Internal functions

A
abolish/1: Internal functions
add-clause: Internal functions
anon-vars-in: Internal functions
anonymous-variables-in: Internal functions
arg/3: Internal functions
args: Internal functions
asserta/1: Internal functions
assertz/1: Internal functions
at-end-of-stream/0: Internal functions
at-end-of-stream/1: Internal functions
atom-characters/2: Internal functions
atom-chars/2: Internal functions
atom-codes/2: Internal functions
atom-concat/3: Internal functions
atom-length/2: Internal functions
atom/1: Internal functions
atomic/1: Internal functions
atomicp: Internal functions

B
bagof/3: Internal functions
ball: Internal generic functions
ball: Internal generic functions
bind-new-variables: Internal functions
bind-unbound-vars: Internal functions
bind-variables-in: Internal functions
binding-val: Exported functions
binding-var: Exported functions
bound-p: Internal functions

C
call/1: Internal functions
catch/3: Internal functions
char-code/2: Internal functions
clause-body: Internal functions
clause-head: Internal functions
clause/2: Internal functions
clauses-with-arity: Internal functions
clear-db: Internal functions
clear-memoize: Exported functions
clear-predicate: Internal functions
close/1: Internal functions
close/2: Internal functions
compile-arg: Internal functions
compile-body: Internal functions
compile-call: Internal functions
compile-clause: Internal functions
compile-if: Internal functions
compile-predicate: Internal functions
compile-unify: Internal functions
compile-unify-variable: Internal functions
compose: Exported functions
compound/1: Internal functions
continue-p: Internal functions
copy-delay: Internal functions
copy-term/2: Internal functions
copy-var: Internal functions
current-input/1: Internal functions
current-output/1: Internal functions
current-predicate/1: Internal functions

D
dbg: Exported functions
dbg-indent: Exported functions
debug: Exported functions
def-prolog-compiler-macro: Internal macros
define-enumerated-type: Exported macros
defresource: Exported macros
defun-memo: Exported macros
delay: Exported macros
delay-computed?: Internal functions
delay-p: Internal functions
delay-value: Internal functions
dequeue: Exported functions
deref: Internal macros
deref-copy: Internal functions
deref-equal: Internal functions
deref-exp: Internal functions
destructure-if-then-else: Internal functions

E
empty-queue-p: Exported functions
enqueue: Exported functions
expand-pat-match-abbrev: Internal functions
explode: Internal functions
extend-bindings: Exported functions

F
fail-if/1: Internal functions
fail/0: Internal functions
find-all: Exported functions
find-all-if: Exported functions
find-anywhere: Exported functions
find-anywhere-if: Internal functions
find-if-anywhere: Exported functions
findall/3: Internal functions
first-match-pos: Internal functions
first-or-nil: Exported functions
first-or-self: Exported functions
flatten: Exported functions
flush-output/0: Internal functions
flush-output/1: Internal functions
follow-binding: Internal functions
force: Exported functions
front: Exported functions
funcall-if: Exported macros
Function, !/0: Internal functions
Function, (setf delay-computed?): Internal functions
Function, (setf delay-value): Internal functions
Function, (setf var-binding): Internal functions
Function, (setf var-name): Internal functions
Function, </2: Internal functions
Function, =..: Internal functions
Function, =/2: Internal functions
Function, =:=/2: Internal functions
Function, =</2: Internal functions
Function, ==/2: Internal functions
Function, =\=/2: Internal functions
Function, >/2: Internal functions
Function, >=/2: Internal functions
Function, ?: Exported functions
Function, @</2: Internal functions
Function, @=</2: Internal functions
Function, @>/2: Internal functions
Function, @>=/2: Internal functions
Function, abolish/1: Internal functions
Function, add-clause: Internal functions
Function, anon-vars-in: Internal functions
Function, anonymous-variables-in: Internal functions
Function, arg/3: Internal functions
Function, args: Internal functions
Function, asserta/1: Internal functions
Function, assertz/1: Internal functions
Function, at-end-of-stream/0: Internal functions
Function, at-end-of-stream/1: Internal functions
Function, atom-characters/2: Internal functions
Function, atom-chars/2: Internal functions
Function, atom-codes/2: Internal functions
Function, atom-concat/3: Internal functions
Function, atom-length/2: Internal functions
Function, atom/1: Internal functions
Function, atomic/1: Internal functions
Function, atomicp: Internal functions
Function, bagof/3: Internal functions
Function, bind-new-variables: Internal functions
Function, bind-unbound-vars: Internal functions
Function, bind-variables-in: Internal functions
Function, binding-val: Exported functions
Function, binding-var: Exported functions
Function, bound-p: Internal functions
Function, call/1: Internal functions
Function, catch/3: Internal functions
Function, char-code/2: Internal functions
Function, clause-body: Internal functions
Function, clause-head: Internal functions
Function, clause/2: Internal functions
Function, clauses-with-arity: Internal functions
Function, clear-db: Internal functions
Function, clear-memoize: Exported functions
Function, clear-predicate: Internal functions
Function, close/1: Internal functions
Function, close/2: Internal functions
Function, compile-arg: Internal functions
Function, compile-body: Internal functions
Function, compile-call: Internal functions
Function, compile-clause: Internal functions
Function, compile-if: Internal functions
Function, compile-predicate: Internal functions
Function, compile-unify: Internal functions
Function, compile-unify-variable: Internal functions
Function, compose: Exported functions
Function, compound/1: Internal functions
Function, continue-p: Internal functions
Function, copy-delay: Internal functions
Function, copy-term/2: Internal functions
Function, copy-var: Internal functions
Function, current-input/1: Internal functions
Function, current-output/1: Internal functions
Function, current-predicate/1: Internal functions
Function, dbg: Exported functions
Function, dbg-indent: Exported functions
Function, debug: Exported functions
Function, delay-computed?: Internal functions
Function, delay-p: Internal functions
Function, delay-value: Internal functions
Function, dequeue: Exported functions
Function, deref-copy: Internal functions
Function, deref-equal: Internal functions
Function, deref-exp: Internal functions
Function, destructure-if-then-else: Internal functions
Function, empty-queue-p: Exported functions
Function, enqueue: Exported functions
Function, expand-pat-match-abbrev: Internal functions
Function, explode: Internal functions
Function, extend-bindings: Exported functions
Function, fail-if/1: Internal functions
Function, fail/0: Internal functions
Function, find-all: Exported functions
Function, find-all-if: Exported functions
Function, find-anywhere: Exported functions
Function, find-anywhere-if: Internal functions
Function, find-if-anywhere: Exported functions
Function, findall/3: Internal functions
Function, first-match-pos: Internal functions
Function, first-or-nil: Exported functions
Function, first-or-self: Exported functions
Function, flatten: Exported functions
Function, flush-output/0: Internal functions
Function, flush-output/1: Internal functions
Function, follow-binding: Internal functions
Function, force: Exported functions
Function, front: Exported functions
Function, functor/3: Internal functions
Function, get-binding: Exported functions
Function, get-char/1: Internal functions
Function, get-char/2: Internal functions
Function, get-clauses: Internal functions
Function, get-code/1: Internal functions
Function, get-code/2: Internal functions
Function, goal-and-p: Internal functions
Function, goal-conjunction-p: Internal functions
Function, goal-cut-p: Internal functions
Function, goal-disjunction-p: Internal functions
Function, goal-if-p: Internal functions
Function, goal-if-then-else-p: Internal functions
Function, goal-if-then-p: Internal functions
Function, goal-or-p: Internal functions
Function, has-variable-p: Internal functions
Function, ignore: Internal functions
Function, implode: Internal functions
Function, insert-deref: Internal functions
Function, integer/1: Internal functions
Function, is/2: Internal functions
Function, last1: Exported functions
Function, length=1: Exported functions
Function, lookup: Exported functions
Function, make-=: Internal functions
Function, make-anonymous: Internal functions
Function, make-binding: Exported functions
Function, make-delay: Internal functions
Function, make-parameters: Internal functions
Function, make-predicate: Internal functions
Function, make-queue: Exported functions
Function, make-renamed-copy: Internal functions
Function, mappend: Exported functions
Function, match-and: Internal functions
Function, match-if: Internal functions
Function, match-is: Internal functions
Function, match-not: Internal functions
Function, match-or: Internal functions
Function, match-variable: Exported functions
Function, maybe-add: Exported functions
Function, maybe-add-undo-bindings: Internal functions
Function, maybe-set-fill-pointer: Exported functions
Function, member-equal: Exported functions
Function, memo: Exported functions
Function, memoize: Exported functions
Function, mklist: Exported functions
Function, new-symbol: Exported functions
Function, nl/0: Internal functions
Function, nl/1: Internal functions
Function, non-anon-variable-p: Internal functions
Function, nonvar/1: Internal functions
Function, nonvarp: Internal functions
Function, not-null: Exported functions
Function, number-chars/2: Internal functions
Function, number-codes/2: Internal functions
Function, number/1: Internal functions
Function, occurs-check: Internal functions
Function, once/1: Internal functions
Function, open/4: Internal functions
Function, partition-if: Exported functions
Function, pat-match: Exported functions
Function, pat-match-abbrev: Internal functions
Function, predicate: Internal functions
Function, print-var: Internal functions
Function, prolog-compile: Internal functions
Function, prolog-compile-symbols: Internal functions
Function, prolog-compiler-macro: Internal functions
Function, prolog-translate-goals: Internal functions
Function, proper-listp: Internal functions
Function, prove: Internal functions
Function, prove-all: Internal functions
Function, put-char/1: Internal functions
Function, put-char/2: Internal functions
Function, put-code/1: Internal functions
Function, put-code/2: Internal functions
Function, queue-contents: Exported functions
Function, queue-nconc: Exported functions
Function, random-elt: Exported functions
Function, read/1: Internal functions
Function, real/1: Internal functions
Function, relation-arity: Internal functions
Function, rename-variables: Internal functions
Function, repeat/0: Internal functions
Function, replace-?-vars: Internal functions
Function, rest2: Exported functions
Function, rest3: Exported functions
Function, retract-clause: Internal functions
Function, retract-same-arity-clause: Internal functions
Function, retract/1: Internal functions
Function, reuse-cons: Exported functions
Function, rule-based-translator: Internal functions
Function, run-prolog: Internal functions
Function, segment-match: Internal functions
Function, segment-match+: Internal functions
Function, segment-match-fn: Internal functions
Function, segment-match?: Internal functions
Function, segment-matcher: Internal functions
Function, segment-pattern-p: Internal functions
Function, self-cons: Internal functions
Function, seq-ref: Exported functions
Function, set-binding!: Internal functions
Function, set-input/1: Internal functions
Function, set-output/1: Internal functions
Function, set-stream-position/2: Internal functions
Function, setof/3: Internal functions
Function, show-prolog-vars: Internal functions
Function, show-prolog-vars/2: Internal functions
Function, side-effect-free?: Exported functions
Function, single-match-fn: Internal functions
Function, single-matcher: Internal functions
Function, single-pattern-p: Internal functions
Function, sort*: Exported functions
Function, starts-with: Exported functions
Function, string-atom/2: Internal functions
Function, string-list/2: Internal functions
Function, sub-atom/4: Internal functions
Function, subst-bindings: Internal functions
Function, symbol: Exported functions
Function, term-precedes: Internal functions
Function, throw/1: Internal functions
Function, top-level-prove: Internal functions
Function, true/0: Internal functions
Function, unbound-var-p: Internal functions
Function, undebug: Exported functions
Function, undo-bindings!: Internal functions
Function, unifier: Internal functions
Function, unify: Internal functions
Function, unify!: Internal functions
Function, unify-variable: Internal functions
Function, unify-with-occurs-check/2: Internal functions
Function, unique-find-anywhere-if: Internal functions
Function, unique-find-if-anywhere: Exported functions
Function, var-binding: Internal functions
Function, var-name: Internal functions
Function, var-p: Internal functions
Function, var/1: Internal functions
Function, variable-p: Exported functions
Function, variables-in: Internal functions
Function, write/1: Internal functions
Function, \=/2: Internal functions
Function, \==/2: Internal functions
functor/3: Internal functions

G
Generic Function, ball: Internal generic functions
get-binding: Exported functions
get-char/1: Internal functions
get-char/2: Internal functions
get-clauses: Internal functions
get-code/1: Internal functions
get-code/2: Internal functions
goal-and-p: Internal functions
goal-conjunction-p: Internal functions
goal-cut-p: Internal functions
goal-disjunction-p: Internal functions
goal-if-p: Internal functions
goal-if-then-else-p: Internal functions
goal-if-then-p: Internal functions
goal-or-p: Internal functions

H
has-variable-p: Internal functions

I
ignore: Internal functions
implode: Internal functions
insert-deref: Internal functions
integer/1: Internal functions
is/2: Internal functions

L
last1: Exported functions
length=1: Exported functions
lookup: Exported functions

M
Macro, <-: Exported macros
Macro, <--: Exported macros
Macro, ?-: Exported macros
Macro, def-prolog-compiler-macro: Internal macros
Macro, define-enumerated-type: Exported macros
Macro, defresource: Exported macros
Macro, defun-memo: Exported macros
Macro, delay: Exported macros
Macro, deref: Internal macros
Macro, funcall-if: Exported macros
Macro, once-only: Exported macros
Macro, prolog: Exported macros
Macro, prolog-collect: Exported macros
Macro, prolog-first: Exported macros
Macro, read-time-case: Exported macros
Macro, with-resource: Exported macros
Macro, with-stream: Internal macros
Macro, with-undo-bindings: Internal macros
make-=: Internal functions
make-anonymous: Internal functions
make-binding: Exported functions
make-delay: Internal functions
make-parameters: Internal functions
make-predicate: Internal functions
make-queue: Exported functions
make-renamed-copy: Internal functions
mappend: Exported functions
match-and: Internal functions
match-if: Internal functions
match-is: Internal functions
match-not: Internal functions
match-or: Internal functions
match-variable: Exported functions
maybe-add: Exported functions
maybe-add-undo-bindings: Internal functions
maybe-set-fill-pointer: Exported functions
member-equal: Exported functions
memo: Exported functions
memoize: Exported functions
Method, ball: Internal generic functions
mklist: Exported functions

N
new-symbol: Exported functions
nl/0: Internal functions
nl/1: Internal functions
non-anon-variable-p: Internal functions
nonvar/1: Internal functions
nonvarp: Internal functions
not-null: Exported functions
number-chars/2: Internal functions
number-codes/2: Internal functions
number/1: Internal functions

O
occurs-check: Internal functions
once-only: Exported macros
once/1: Internal functions
open/4: Internal functions

P
partition-if: Exported functions
pat-match: Exported functions
pat-match-abbrev: Internal functions
predicate: Internal functions
print-var: Internal functions
prolog: Exported macros
prolog-collect: Exported macros
prolog-compile: Internal functions
prolog-compile-symbols: Internal functions
prolog-compiler-macro: Internal functions
prolog-first: Exported macros
prolog-translate-goals: Internal functions
proper-listp: Internal functions
prove: Internal functions
prove-all: Internal functions
put-char/1: Internal functions
put-char/2: Internal functions
put-code/1: Internal functions
put-code/2: Internal functions

Q
queue-contents: Exported functions
queue-nconc: Exported functions

R
random-elt: Exported functions
read-time-case: Exported macros
read/1: Internal functions
real/1: Internal functions
relation-arity: Internal functions
rename-variables: Internal functions
repeat/0: Internal functions
replace-?-vars: Internal functions
rest2: Exported functions
rest3: Exported functions
retract-clause: Internal functions
retract-same-arity-clause: Internal functions
retract/1: Internal functions
reuse-cons: Exported functions
rule-based-translator: Internal functions
run-prolog: Internal functions

S
segment-match: Internal functions
segment-match+: Internal functions
segment-match-fn: Internal functions
segment-match?: Internal functions
segment-matcher: Internal functions
segment-pattern-p: Internal functions
self-cons: Internal functions
seq-ref: Exported functions
set-binding!: Internal functions
set-input/1: Internal functions
set-output/1: Internal functions
set-stream-position/2: Internal functions
setof/3: Internal functions
show-prolog-vars: Internal functions
show-prolog-vars/2: Internal functions
side-effect-free?: Exported functions
single-match-fn: Internal functions
single-matcher: Internal functions
single-pattern-p: Internal functions
sort*: Exported functions
starts-with: Exported functions
string-atom/2: Internal functions
string-list/2: Internal functions
sub-atom/4: Internal functions
subst-bindings: Internal functions
symbol: Exported functions

T
term-precedes: Internal functions
throw/1: Internal functions
top-level-prove: Internal functions
true/0: Internal functions

U
unbound-var-p: Internal functions
undebug: Exported functions
undo-bindings!: Internal functions
unifier: Internal functions
unify: Internal functions
unify!: Internal functions
unify-variable: Internal functions
unify-with-occurs-check/2: Internal functions
unique-find-anywhere-if: Internal functions
unique-find-if-anywhere: Exported functions

V
var-binding: Internal functions
var-name: Internal functions
var-p: Internal functions
var/1: Internal functions
variable-p: Exported functions
variables-in: Internal functions

W
with-resource: Exported macros
with-stream: Internal macros
with-undo-bindings: Internal macros
write/1: Internal functions

Jump to:   !   (   <   =   >   ?   @   \  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   Q   R   S   T   U   V   W  

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

A.3 Variables

Jump to:   *  
B   C   F   N   S   U   V  
Index Entry  Section

*
*db-predicates*: Internal special variables
*dbg-ids*: Internal special variables
*occurs-check*: Internal special variables
*predicate*: Internal special variables
*trail*: Internal special variables
*uncompiled*: Internal special variables
*var-counter*: Internal special variables

B
ball: Internal conditions
binding: Exported structures

C
computed?: Exported structures
Constant, fail: Exported constants
Constant, no-bindings: Exported constants
Constant, unbound: Internal constants

F
fail: Exported constants

N
name: Exported structures
no-bindings: Exported constants

S
Slot, ball: Internal conditions
Slot, binding: Exported structures
Slot, computed?: Exported structures
Slot, name: Exported structures
Slot, value: Exported structures
Special Variable, *db-predicates*: Internal special variables
Special Variable, *dbg-ids*: Internal special variables
Special Variable, *occurs-check*: Internal special variables
Special Variable, *predicate*: Internal special variables
Special Variable, *trail*: Internal special variables
Special Variable, *uncompiled*: Internal special variables
Special Variable, *var-counter*: Internal special variables

U
unbound: Internal constants

V
value: Exported structures

Jump to:   *  
B   C   F   N   S   U   V  

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

A.4 Data types

Jump to:   C   D   P   S   V  
Index Entry  Section

C
Condition, prolog-throw: Internal conditions

D
delay: Exported structures

P
Package, paiprolog: The paiprolog package
Package, paiprolog.auxfns: The paiprolog<dot>auxfns package
paiprolog: The paiprolog system
paiprolog: The paiprolog package
paiprolog.auxfns: The paiprolog<dot>auxfns package
prolog-throw: Internal conditions

S
Structure, delay: Exported structures
Structure, var: Exported structures
System, paiprolog: The paiprolog system

V
var: Exported structures

Jump to:   C   D   P   S   V