The Autolog Design Notebook (ADN) describes design requirements and
specifications for the AutoLog inference programming system, as well as testing regimens.
The NoteBook is a Pages generated document and is modified often. The ADN
is Lab notebook documenting system development in progress.
The autolog app appears on the user's desktop and can be relocated by dragging.
Double-click the app to open the Autolog editor, or drop an autolog source file
on the app to open it in the editor. Use the editor's compile button to open
the theory in the AutoLogViewer window.
autolog2022-5-22.zip(download)
An unzipped autolog development directory looks somewhat like this ...
autolog/
README.html (this page)
AutoLogApp.java (Desktop App)
build
help/ ...
makezip (writes autolog.zip here)
org/ (jar -xf antlr-runtime-4.10.1.jar)
sam/ (Skolem Abstract Machine)
antlr/ (input parsers/translators)
autolog/
machine/
aliases (generate+test antlr commands)
AUTOLOG.g4
Reader.java (translation parser/walker)
Compiler.java (-> sam.machine.lang)
...
lang/ (autolog machine code)
gui/
AutoLogAnalyzer.java (code analysis)
engine (concurrent inference ✓)
Conjunction.java
Disjunction.java
Fact.java
Functor.java
Inference.java
Rewrite.java
Rule.java
Term.java
Theory.java
Variable.java
ActiveDynamicRewrite.java
ActiveExistentialRule.java
ActiveInference.java
ActiveRewrite.java
ActiveRule.java
ActiveStagedRule.java
Cache.java
InferenceManager.java
MatchTest.java
TangleTest.java
edit/ (AutoLog script editor)
util/
Info.html (built-in operators + DUOPs)
search/ (AutoLog Viewer)
symbols.txt (unicode operators)
AutoLogEditor.java
AutoLog.java
images/
Analyzer.html (Analyzer info)
Control.html (Control info)
LaTeXTree.java
TreePane.java
Index.java
Pattern.java
...
Visit https://www.antlr.org to download manna from antlr. Store downloaded antlr jars:
~/antlr-4.10.1-complete.jarUse the complete jar for generating the parsers. Read the aliases file in sam/antlr/autolog to see how to generate parsers, compile sources and runs tests. The autolog component autolog/org/ is extracted from antlr-runtime-4.10.1.jar as follows
~/antlr-runtime-4.10.1.jar
jar -xf antlr-runtime-4.10.1.jar
The development versions are archived using
makezip,
> source makezip <version>
This will store autolog<version>.zip in the autolog/
directory.
NOTE: makezip removes compiled components (but NOT antlr-generated sources) before the zip.
Use build to recompile java components anytime (but not to generate parser-related java sources).
> source build
I use
JavApp
mini IDE for Java projects.
I am currently using java version "17" 2021-09-14 LTS for Autolog development.
- See new ADN Chapter 6 about AUTOLOG22 specific design proposals
- See revisions for ADN §6.1 of AutologDesignNotebook
- Continue design and tests for active AUTOLOG22 sam.machine.engine components, ADN §6.2, §6.3, §6.4, §6.5. ...
Previous archives are listed here.