The snark Reference Manual

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

The snark Reference Manual

This is the snark Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Thu Sep 15 06:11:29 2022 GMT+0.

Table of Contents


1 Introduction

=====
SNARK
=====

SNARK, SRI's New Automated Reasoning Kit, is a theorem prover intended for 
applications in artificial intelligence and software engineering. SNARK is 
geared toward dealing with large sets of assertions; it can be specialized 
with strategic controls that tune its performance; and it has facilities 
for integrating special-purpose reasoning procedures with general-purpose 
inference.


--------
Overview
--------

SNARK is an automated theorem-proving program being developed in Common Lisp. 
Its principal inference rules are resolution and paramodulation. SNARK's style 
of theorem proving is similar to Otter's. 

Some distinctive features of SNARK are its support for special unification 
algorithms, sorts, answer construction for program synthesis, procedural 
attachment, and extensibility by Lisp code. 

SNARK has been used as the reasoning component of SRI's High Performance 
Knowledge Base (HPKB) system, which deduces answers to questions based on 
large repositories of information, and as the deductive core of NASA's Amphion 
system, which composes software from components to meet users' specifications,
e.g., to perform computations in planetary astronomy. SNARK has also been 
connected to Kestrel's SPECWARE environment for software development. 


Selected Publications

Stickel, M., R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. 
Deductive composition of astronomical software from subroutine libraries. 
Proceedings of the Twelfth International Conference on Automated Deduction 
(CADE-12), Nancy, France, June 1994, 341-355. 


---------------------
Links & Documentation
---------------------

SNARK tutorial ... http://www.ai.sri.com/snark/tutorial/tutorial.html
SNARK paper ...... http://www.sri.com/work/publications/guide-snark
SNARK home ....... http://www.ai.sri.com/~stickel/snark.html
SNARK author ..... https://en.wikipedia.org/wiki/Mark_E._Stickel


----------------
Obtaining SNARK:
----------------

  New (18-MAR-2016): get it by QuickLisp

     (ql:quickload :snark)


  Or:

  SNARK can be downloaded from the SNARK web page
  http://www.ai.sri.com/~stickel/snark.html

See INSTALL file for installation instructions

Running SNARK:

  lisp
  (load "snark-system.lisp")
  (make-snark-system)
  :

Examples:

  (overbeek-test) in overbeek-test.lisp
    some standard theorem-proving examples, some time-consuming

  (steamroller-example) in steamroller-example.lisp
    illustrates sorts

  (front-last-example) in front-last-example.lisp
    illustrates program synthesis

  (reverse-example) in reverse-example.lisp
    illustrates logic programming style usage

A guide to SNARK has been written:

  http://www.ai.sri.com/snark/tutorial/tutorial.html

but has not been updated yet to reflect changes in SNARK,
especially for temporal and spatial reasoning.

-----
NOTES
-----
This repository is based on the latest version 20120808-r022 from the 
download site and the '.asd' files from https://github.com/hoelzl/Snark.
The goal is to get SNARK installable by QuickLisp.

Loadable by quicklisp since: 18-MAR-2016

* (ql:system-apropos :snark)
#
#
#
#
#
#
#
#
#
#
#
#
#
#
*



2 Systems

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


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

2.1 snark

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependency

snark-implementation (system).

Source

snark.asd.


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

2.2 snark-implementation

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-implementation.asd.

Child Components

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

2.3 snark-auxiliary-packages

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Source

snark-auxiliary-packages.asd.

Child Component

auxiliary-packages.lisp (file).


2.4 snark-lisp

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependency

snark-auxiliary-packages (system).

Source

snark-lisp.asd.

Child Components

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

2.5 snark-sparse-array

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-sparse-array.asd.

Child Components

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

2.6 snark-numbering

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-numbering.asd.

Child Component

numbering.lisp (file).


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

2.7 snark-deque

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-deque.asd.

Child Component

deque2.lisp (file).


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

2.8 snark-agenda

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-agenda.asd.

Child Component

agenda.lisp (file).


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

2.9 snark-dpll

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-dpll.asd.

Child Component

davis-putnam3.lisp (file).


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

2.10 snark-feature

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-feature.asd.

Child Component

feature.lisp (file).


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

2.11 snark-infix-reader

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependencies
Source

snark-infix-reader.asd.

Child Components

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

2.12 snark-pkg

The Snark Theorem Prover

Author

Mark E. Stickel, SRI International

License

MPL 1.1, see file LICENSE

Dependency

snark-dpll (system).

Source

snark-pkg.asd.

Child Component

snark-pkg.lisp (file).


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


3.1.1 snark/snark.asd

Source

snark.asd.

Parent Component

snark (system).

ASDF Systems

snark.


3.1.2 snark-implementation/snark-implementation.asd

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

ASDF Systems

snark-implementation.


3.1.3 snark-auxiliary-packages/snark-auxiliary-packages.asd

Source

snark-auxiliary-packages.asd.

Parent Component

snark-auxiliary-packages (system).

ASDF Systems

snark-auxiliary-packages.


3.1.4 snark-lisp/snark-lisp.asd

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

ASDF Systems

snark-lisp.


3.1.5 snark-sparse-array/snark-sparse-array.asd

Source

snark-sparse-array.asd.

Parent Component

snark-sparse-array (system).

ASDF Systems

snark-sparse-array.


3.1.6 snark-numbering/snark-numbering.asd

Source

snark-numbering.asd.

Parent Component

snark-numbering (system).

ASDF Systems

snark-numbering.


3.1.7 snark-deque/snark-deque.asd

Source

snark-deque.asd.

Parent Component

snark-deque (system).

ASDF Systems

snark-deque.


3.1.8 snark-agenda/snark-agenda.asd

Source

snark-agenda.asd.

Parent Component

snark-agenda (system).

ASDF Systems

snark-agenda.


3.1.9 snark-dpll/snark-dpll.asd

Source

snark-dpll.asd.

Parent Component

snark-dpll (system).

ASDF Systems

snark-dpll.


3.1.10 snark-feature/snark-feature.asd

Source

snark-feature.asd.

Parent Component

snark-feature (system).

ASDF Systems

snark-feature.


3.1.11 snark-infix-reader/snark-infix-reader.asd

Source

snark-infix-reader.asd.

Parent Component

snark-infix-reader (system).

ASDF Systems

snark-infix-reader.


3.1.12 snark-pkg/snark-pkg.asd

Source

snark-pkg.asd.

Parent Component

snark-pkg (system).

ASDF Systems

snark-pkg.


3.1.13 snark-implementation/useful.lisp

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.14 snark-implementation/posets.lisp

Dependency

useful.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.15 snark-implementation/solve-sum.lisp

Dependency

posets.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.16 snark-implementation/globals.lisp

Dependency

solve-sum.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.17 snark-implementation/options.lisp

Dependency

globals.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.18 snark-implementation/terms2.lisp

Dependency

options.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.19 snark-implementation/rows.lisp

Dependency

terms2.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.20 snark-implementation/row-contexts.lisp

Dependency

rows.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.21 snark-implementation/constants.lisp

Dependency

row-contexts.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.22 snark-implementation/functions.lisp

Dependency

constants.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.23 snark-implementation/variables.lisp

Dependency

functions.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.24 snark-implementation/subst.lisp

Dependency

variables.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.25 snark-implementation/substitute.lisp

Dependency

subst.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.26 snark-implementation/symbol-table2.lisp

Dependency

substitute.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.27 snark-implementation/symbol-definitions.lisp

Dependency

symbol-table2.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.28 snark-implementation/assertion-analysis.lisp

Dependency

symbol-definitions.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.29 snark-implementation/jepd-relations-tables.lisp

Dependency

assertion-analysis.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.30 snark-implementation/jepd-relations.lisp

Dependency

jepd-relations-tables.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.31 snark-implementation/date-reasoning2.lisp

Dependency

jepd-relations.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.32 snark-implementation/constraints.lisp

Dependency

date-reasoning2.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.33 snark-implementation/constraint-purify.lisp

Dependency

constraints.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.34 snark-implementation/connectives.lisp

Dependency

constraint-purify.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.35 snark-implementation/wffs.lisp

Dependency

connectives.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.36 snark-implementation/nonhorn-magic-set.lisp

Dependency

wffs.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.37 snark-implementation/dp-refute.lisp

Dependency

nonhorn-magic-set.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface

print-object (method).

Internals

3.1.38 snark-implementation/sorts-functions.lisp

Dependency

dp-refute.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.39 snark-implementation/sorts-interface.lisp

Dependency

sorts-functions.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.40 snark-implementation/sorts.lisp

Dependency

sorts-interface.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface

term-sort (function).

Internals

3.1.41 snark-implementation/argument-bag-ac.lisp

Dependency

sorts.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.42 snark-implementation/argument-list-a1.lisp

Dependency

argument-bag-ac.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.44 snark-implementation/unify-bag.lisp

Dependency

unify.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.45 snark-implementation/subsume-bag.lisp

Dependency

unify-bag.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.46 snark-implementation/unify-vector.lisp

Dependency

subsume-bag.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.47 snark-implementation/equal.lisp

Dependency

unify-vector.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface

equal-p (function).

Internals

3.1.48 snark-implementation/variant.lisp

Dependency

equal.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.49 snark-implementation/alists.lisp

Dependency

variant.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.50 snark-implementation/term-hash.lisp

Dependency

alists.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.51 snark-implementation/trie-index.lisp

Dependency

term-hash.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.52 snark-implementation/path-index.lisp

Dependency

trie-index.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.53 snark-implementation/trie.lisp

Dependency

path-index.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.55 snark-implementation/feature-vector-trie.lisp

Dependency

feature-vector.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.56 snark-implementation/feature-vector-index.lisp

Dependency

feature-vector-trie.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.57 snark-implementation/term-memory.lisp

Dependency

feature-vector-index.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.58 snark-implementation/weight.lisp

Dependency

term-memory.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.59 snark-implementation/eval.lisp

Dependency

weight.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.60 snark-implementation/input.lisp

Dependency

eval.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.61 snark-implementation/output.lisp

Dependency

input.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.63 snark-implementation/symbol-ordering.lisp

Dependency

simplification-ordering.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.64 snark-implementation/multiset-ordering.lisp

Dependency

symbol-ordering.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.65 snark-implementation/recursive-path-ordering.lisp

Dependency

multiset-ordering.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.66 snark-implementation/ac-rpo.lisp

Dependency

recursive-path-ordering.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.67 snark-implementation/knuth-bendix-ordering2.lisp

Dependency

ac-rpo.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.68 snark-implementation/rewrite.lisp

Dependency

knuth-bendix-ordering2.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface

rewrite (structure).

Internals

3.1.69 snark-implementation/rewrite-code.lisp

Dependency

rewrite.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface

declare-cancellation-law (function).

Internals

3.1.70 snark-implementation/code-for-strings2.lisp

Dependency

rewrite-code.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.71 snark-implementation/code-for-numbers3.lisp

Dependency

code-for-strings2.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.72 snark-implementation/code-for-lists2.lisp

Dependency

code-for-numbers3.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

declare-code-for-lists (function).


3.1.73 snark-implementation/code-for-bags4.lisp

Dependency

code-for-lists2.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.75 snark-implementation/resolve-code-tables.lisp

Dependency

resolve-code.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.76 snark-implementation/main.lisp

Dependency

resolve-code-tables.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.77 snark-implementation/subsume.lisp

Dependency

main.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.78 snark-implementation/subsume-clause.lisp

Dependency

subsume.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.79 snark-implementation/interactive.lisp

Dependency

subsume-clause.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.80 snark-implementation/assertion-file.lisp

Dependency

interactive.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.81 snark-implementation/tptp.lisp

Dependency

assertion-file.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface
Internals

3.1.82 snark-implementation/tptp-symbols.lisp

Dependency

tptp.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Public Interface

declare-tptp-sort (function).

Internals

3.1.83 snark-implementation/coder.lisp

Dependency

tptp-symbols.lisp (file).

Source

snark-implementation.asd.

Parent Component

snark-implementation (system).

Internals

3.1.84 snark-auxiliary-packages/auxiliary-packages.lisp

Source

snark-auxiliary-packages.asd.

Parent Component

snark-auxiliary-packages (system).

Packages

3.1.85 snark-lisp/mvlet.lisp

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

3.1.86 snark-lisp/progc.lisp

Dependency

mvlet.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

3.1.87 snark-lisp/lisp.lisp

Dependency

progc.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

3.1.88 snark-lisp/collectors.lisp

Dependency

lisp.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

3.1.89 snark-lisp/map-file.lisp

Dependency

collectors.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

mapnconc-stream0 (function).


3.1.90 snark-lisp/clocks.lisp

Dependency

map-file.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

3.1.91 snark-lisp/counters.lisp

Dependency

clocks.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface
Internals

3.1.92 snark-lisp/pattern-match.lisp

Dependency

counters.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface

pattern-match (function).


3.1.93 snark-lisp/topological-sort.lisp

Dependency

pattern-match.lisp (file).

Source

snark-lisp.asd.

Parent Component

snark-lisp (system).

Public Interface

3.1.94 snark-sparse-array/sparse-vector5.lisp

Source

snark-sparse-array.asd.

Parent Component

snark-sparse-array (system).

Public Interface
Internals

3.1.95 snark-sparse-array/sparse-array.lisp

Dependency

sparse-vector5.lisp (file).

Source

snark-sparse-array.asd.

Parent Component

snark-sparse-array (system).

Public Interface
Internals

3.1.96 snark-sparse-array/sparse-vector-expression.lisp

Dependency

sparse-array.lisp (file).

Source

snark-sparse-array.asd.

Parent Component

snark-sparse-array (system).

Public Interface
Internals

3.1.97 snark-numbering/numbering.lisp

Source

snark-numbering.asd.

Parent Component

snark-numbering (system).

Public Interface
Internals

*nonce* (special variable).


3.1.98 snark-deque/deque2.lisp

Source

snark-deque.asd.

Parent Component

snark-deque (system).

Public Interface
Internals

3.1.99 snark-agenda/agenda.lisp

Source

snark-agenda.asd.

Parent Component

snark-agenda (system).

Public Interface
Internals

3.1.100 snark-dpll/davis-putnam3.lisp

Source

snark-dpll.asd.

Parent Component

snark-dpll (system).

Public Interface
Internals

3.1.101 snark-feature/feature.lisp

Source

snark-feature.asd.

Parent Component

snark-feature (system).

Public Interface
Internals

3.1.102 snark-infix-reader/infix-operators.lisp

Source

snark-infix-reader.asd.

Parent Component

snark-infix-reader (system).

Public Interface
Internals

3.1.103 snark-infix-reader/infix-reader.lisp

Dependency

infix-operators.lisp (file).

Source

snark-infix-reader.asd.

Parent Component

snark-infix-reader (system).

Public Interface
Internals

3.1.104 snark-pkg/snark-pkg.lisp

Source

snark-pkg.asd.

Parent Component

snark-pkg (system).

Packages

4 Packages

Packages are listed by definition order.


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

4.1 snark-agenda

Source

auxiliary-packages.lisp.

Use List
Used By List

snark.

Public Interface
Internals

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

4.2 snark-lisp

Source

auxiliary-packages.lisp.

Use List

common-lisp.

Used By List
Public Interface
Internals

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

4.3 snark-user

Source

snark-pkg.lisp.

Use List
Internals

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

4.4 snark

Source

snark-pkg.lisp.

Use List
Used By List

snark-user.

Public Interface
Internals

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

4.5 snark-deque

Source

auxiliary-packages.lisp.

Use List
Used By List
Public Interface
Internals

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

4.6 snark-infix-reader

Source

auxiliary-packages.lisp.

Use List
Used By List

snark.

Public Interface
Internals

4.7 snark-feature

Source

auxiliary-packages.lisp.

Use List
Used By List

snark.

Public Interface
Internals

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

4.8 snark-sparse-array

Source

auxiliary-packages.lisp.

Use List
Used By List
Public Interface
Internals

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

4.9 snark-numbering

Source

auxiliary-packages.lisp.

Use List
Used By List

snark.

Public Interface
Internals

*nonce* (special variable).