Graph

less more | at revision 240: (0) tip

Split up main/test systems
Fri, 17 Feb 2017 13:31:15 +0000, by Steve Losh
Clean up output
Fri, 17 Feb 2017 13:19:33 +0000, by Steve Losh
Memory is cheap
Thu, 09 Feb 2017 12:22:03 +0000, by Steve Losh
Rename `ensure-aref`, formatting
Thu, 09 Feb 2017 12:17:13 +0000, by Steve Losh
Update docs
Sat, 05 Nov 2016 01:39:28 +0000, by Steve Losh
Add `query-for`
Mon, 26 Sep 2016 12:28:06 +0000, by Steve Losh
Add ABCL support
Sat, 24 Sep 2016 17:33:22 +0000, by Steve Losh
Add rudimentary tracing support
Sat, 03 Sep 2016 15:58:16 +0000, by Steve Losh
Add relational db unit test from TAOP
Sat, 03 Sep 2016 14:44:49 +0000, by Steve Losh
Typo
Thu, 25 Aug 2016 13:13:32 +0000, by Steve Losh
Add PAIProlog GDL benchmark
Thu, 25 Aug 2016 03:03:47 +0000, by Steve Losh
Oh for fuck's sake
Thu, 25 Aug 2016 00:05:28 +0000, by Steve Losh
Remove some inlining to aid in profiling
Wed, 24 Aug 2016 23:20:33 +0000, by Steve Losh
Add profiling to the GDL benchmark
Wed, 24 Aug 2016 22:13:48 +0000, by Steve Losh
Add contrib/gdl-benchmark/gdl.prof to .hgignore.
Wed, 24 Aug 2016 20:43:10 +0000, by Steve Losh
Implement the rest of the GDL benchmarking
Wed, 24 Aug 2016 19:57:25 +0000, by Steve Losh
Set up the basic framework for the benchmark
Wed, 24 Aug 2016 15:43:20 +0000, by Steve Losh
Add benchmarking package and setup instructions
Wed, 24 Aug 2016 14:45:17 +0000, by Steve Losh
Add skeleton of benchmark script
Wed, 24 Aug 2016 13:57:32 +0000, by Steve Losh
Doc tweaks
Wed, 24 Aug 2016 00:12:16 +0000, by Steve Losh
Use Alexandria's `when-let`
Tue, 23 Aug 2016 23:44:21 +0000, by Steve Losh
Don't depend on shit we don't need
Tue, 23 Aug 2016 23:38:41 +0000, by Steve Losh
Remove useless file
Tue, 23 Aug 2016 23:33:11 +0000, by Steve Losh
Remove the `.wam` package now that paip is gone
Tue, 23 Aug 2016 23:31:13 +0000, by Steve Losh
Use `ensure-gethash`
Tue, 23 Aug 2016 23:28:04 +0000, by Steve Losh
Sketch out a documentation plan
Tue, 23 Aug 2016 23:26:36 +0000, by Steve Losh
Update README
Tue, 23 Aug 2016 23:12:27 +0000, by Steve Losh
Make all the UI functions take a database parameter
Tue, 23 Aug 2016 17:53:03 +0000, by Steve Losh
Rename `*database*` -> `*standard-database*`
Tue, 23 Aug 2016 13:10:01 +0000, by Steve Losh
Fuckin markdown
Sat, 20 Aug 2016 22:45:16 +0000, by Steve Losh
Update README
Sat, 20 Aug 2016 22:44:15 +0000, by Steve Losh
Makefile fuckery
Sat, 20 Aug 2016 22:33:17 +0000, by Steve Losh
Rename the project
Sat, 20 Aug 2016 22:25:47 +0000, by Steve Losh
Remove newly-useless nesting in the src directory
Sat, 20 Aug 2016 22:06:27 +0000, by Steve Losh
Remove PAIP
Sat, 20 Aug 2016 21:56:20 +0000, by Steve Losh
Added tag paip for changeset 9bdd5543b1d9
Sat, 20 Aug 2016 21:56:13 +0000, by Steve Losh
Remove unused functions paip
Sat, 20 Aug 2016 21:51:28 +0000, by Steve Losh
Remove unused function
Sat, 20 Aug 2016 21:46:57 +0000, by Steve Losh
Vendorize quickutils
Sat, 20 Aug 2016 21:44:25 +0000, by Steve Losh
Remove examples directory
Sat, 20 Aug 2016 21:40:14 +0000, by Steve Losh
Clean up the test running and makefile
Sat, 20 Aug 2016 21:38:54 +0000, by Steve Losh
Update links
Sat, 20 Aug 2016 21:28:31 +0000, by Steve Losh
Close dead branch fixed-size-store
Sat, 20 Aug 2016 21:26:08 +0000, by Steve Losh
Add problem 14 from 99PP as a test
Sat, 20 Aug 2016 21:15:52 +0000, by Steve Losh
Add tests from TAOP section 2.3
Sun, 24 Jul 2016 12:44:54 +0000, by Steve Losh
Add tests from TAOP section 2.2
Sat, 23 Jul 2016 20:38:21 +0000, by Steve Losh
Whitespace
Sat, 23 Jul 2016 15:20:48 +0000, by Steve Losh
ACTUALLY add some tests from TAOP
Sat, 23 Jul 2016 15:19:40 +0000, by Steve Losh
Add some tests from TAOP
Sat, 23 Jul 2016 13:51:06 +0000, by Steve Losh
Add `put-void`
Fri, 22 Jul 2016 20:32:51 +0000, by Steve Losh
Change `(values)` to `nil`
Sun, 17 Jul 2016 16:59:50 +0000, by Steve Losh
Add precompilation of static queries at compile time
Sun, 17 Jul 2016 16:49:06 +0000, by Steve Losh
Port some of the '99 Prolog Problems' to Bones as unit tests
Sun, 17 Jul 2016 00:50:25 +0000, by Steve Losh
Switch a couple of `mapcar`s to `mapc`s
Sat, 16 Jul 2016 19:34:00 +0000, by Steve Losh
Remove optima
Sat, 16 Jul 2016 19:23:51 +0000, by Steve Losh
Remove defstar
Sat, 16 Jul 2016 18:23:34 +0000, by Steve Losh
Remove return declarations
Sat, 16 Jul 2016 17:37:17 +0000, by Steve Losh
Add a few more type declarations
Sat, 16 Jul 2016 13:47:55 +0000, by Steve Losh
Split functor cells into separate functor and arity cells
Sat, 16 Jul 2016 01:34:04 +0000, by Steve Losh
Constant can just use the functor symbol directly
Fri, 15 Jul 2016 23:12:18 +0000, by Steve Losh
Remove unused arguments
Fri, 15 Jul 2016 22:02:11 +0000, by Steve Losh
Remove the god damn functor table
Fri, 15 Jul 2016 21:55:54 +0000, by Steve Losh
`tree-collect` is slow and conses a ton
Fri, 15 Jul 2016 20:43:32 +0000, by Steve Losh
De-CLOS the register assignments
Fri, 15 Jul 2016 20:28:10 +0000, by Steve Losh
De-CLOS the parse tree
Fri, 15 Jul 2016 20:16:26 +0000, by Steve Losh
Split up the damn compiler.lisp file
Fri, 15 Jul 2016 19:37:17 +0000, by Steve Losh
Add numbers
Fri, 15 Jul 2016 19:12:21 +0000, by Steve Losh
Clean up the examples a bit, still needs a lot of work
Fri, 15 Jul 2016 15:03:01 +0000, by Steve Losh
Minor cleanup
Fri, 15 Jul 2016 02:23:07 +0000, by Steve Losh
Add a beast of a macro to clean up/optimize the hot loop
Thu, 14 Jul 2016 22:42:53 +0000, by Steve Losh
Switch to 1am, test under ECL too
Thu, 14 Jul 2016 13:30:57 +0000, by Steve Losh
Inline a function and use eq hash
Wed, 13 Jul 2016 23:36:51 +0000, by Steve Losh
Put the actual functor conses into the store
Wed, 13 Jul 2016 22:21:19 +0000, by Steve Losh
Split apart the main WAM store into separate type/value arrays
Wed, 13 Jul 2016 18:33:09 +0000, by Steve Losh
Initial poke at Lispifying the code store
Tue, 12 Jul 2016 21:56:01 +0000, by Steve Losh
Add Hanoi test from tAoP
Tue, 12 Jul 2016 18:53:39 +0000, by Steve Losh
Comment the logic stack section a tiny bit
Tue, 12 Jul 2016 16:31:46 +0000, by Steve Losh
Remove useless inline declarations
Tue, 12 Jul 2016 16:09:37 +0000, by Steve Losh
Elide the unnecessary ALOC/DEAL from chain rules
Tue, 12 Jul 2016 15:52:13 +0000, by Steve Losh
Implement last call optimization
Tue, 12 Jul 2016 15:46:22 +0000, by Steve Losh
Beef up the PAIP queues a bit and (ab)use them in the compiler
Mon, 11 Jul 2016 23:37:37 +0000, by Steve Losh
Simplify and optimize register allocation just a bit
Mon, 11 Jul 2016 22:33:25 +0000, by Steve Losh
Make instructions inlineable
Mon, 11 Jul 2016 21:38:10 +0000, by Steve Losh
Optimize `find-anonymous-variables`
Mon, 11 Jul 2016 21:38:03 +0000, by Steve Losh
Save the god damn frames
Mon, 11 Jul 2016 20:30:27 +0000, by Steve Losh
Inline the trail pointer functions
Mon, 11 Jul 2016 20:04:02 +0000, by Steve Losh
Optimize circles a bit
Mon, 11 Jul 2016 19:56:43 +0000, by Steve Losh
Type hint the compiler
Mon, 11 Jul 2016 19:18:35 +0000, by Steve Losh
Merge the code I accidentally branched off because I'm an idiot
Mon, 11 Jul 2016 16:26:05 +0000, by Steve Losh
Refactor the main WAM store into a `simple-array`
Mon, 11 Jul 2016 16:17:18 +0000, by Steve Losh
Refactor the code store to use a simple-array
Mon, 11 Jul 2016 14:15:14 +0000, by Steve Losh
Don't ever use this
Mon, 11 Jul 2016 13:48:06 +0000, by Steve Losh
Turn `instruction-size` into a neat little lookup table
Mon, 11 Jul 2016 09:58:20 +0000, by Steve Losh
Clean up the GGP a tiny bit
Mon, 11 Jul 2016 09:55:05 +0000, by Steve Losh
Type-hint the WAM `setf` functions
Sun, 10 Jul 2016 21:08:12 +0000, by Steve Losh
Name the subterm-handling instructions something not completely stupid
Sun, 10 Jul 2016 14:28:48 +0000, by Steve Losh
Excise the stupid fucking `set-*` opcodes
Sun, 10 Jul 2016 14:21:18 +0000, by Steve Losh
Fix constant unification
Sat, 09 Jul 2016 21:51:02 +0000, by Steve Losh
Pool logic frames to avoid creating so many hash tables
Sat, 09 Jul 2016 21:03:01 +0000, by Steve Losh
Clean up and fix the anonymous variable handling
Fri, 08 Jul 2016 18:14:05 +0000, by Steve Losh
Export symbols and add a few sanity checks
Fri, 08 Jul 2016 17:03:54 +0000, by Steve Losh
Normalize facts and queries because people are lazy
Wed, 06 Jul 2016 20:41:56 +0000, by Steve Losh
Clean up the rule UI too
Wed, 06 Jul 2016 20:08:27 +0000, by Steve Losh
Clean up the UI
Wed, 06 Jul 2016 18:30:31 +0000, by Steve Losh
Add profile.out to .hgignore.
Wed, 06 Jul 2016 13:49:47 +0000, by Steve Losh
Don't cons lists of numbers, jesus christ
Tue, 05 Jul 2016 23:54:54 +0000, by Steve Losh
Use a queues instead of lists for the logic frame pending predicates
Tue, 05 Jul 2016 23:37:14 +0000, by Steve Losh
Rename "code frame" to "logic frame"
Tue, 05 Jul 2016 23:12:50 +0000, by Steve Losh
Implement logic frames for assertion/retraction
Tue, 05 Jul 2016 23:02:33 +0000, by Steve Losh
Clean up formatting
Tue, 05 Jul 2016 16:53:58 +0000, by Steve Losh
Add a handy disassembly macro
Tue, 05 Jul 2016 16:44:10 +0000, by Steve Losh
Implement anonymous variables and the `*_void` opcodes
Mon, 04 Jul 2016 23:35:08 +0000, by Steve Losh
Switch from `:keyword` variables to `?symbol` ones
Sun, 03 Jul 2016 22:50:24 +0000, by Steve Losh
Add AIPS Rovers example
Thu, 30 Jun 2016 17:53:49 +0000, by Steve Losh
Add Towers of Hanoi GDL example
Thu, 30 Jun 2016 17:53:20 +0000, by Steve Losh
Run the tests on CCL too
Thu, 30 Jun 2016 17:52:53 +0000, by Steve Losh
Comment the `bind!` thing a bit more
Wed, 29 Jun 2016 16:49:25 +0000, by Steve Losh
Implement dynamic calling and fix `bind!`
Wed, 29 Jun 2016 16:42:02 +0000, by Steve Losh
Clean up opcode definition
Wed, 29 Jun 2016 13:53:59 +0000, by Steve Losh
Fix a pair of really nasty bugs
Fri, 10 Jun 2016 20:28:37 +0000, by Steve Losh
Rewrite the compiler
Tue, 07 Jun 2016 14:49:20 +0000, by Steve Losh
Fix docstring to be more clear
Sun, 05 Jun 2016 12:27:19 +0000, by Steve Losh
Add constant dump info
Sun, 05 Jun 2016 12:27:01 +0000, by Steve Losh
Typos
Sun, 05 Jun 2016 00:06:51 +0000, by Steve Losh
Implement cut
Sun, 05 Jun 2016 00:01:11 +0000, by Steve Losh
Implement Prolog lists
Thu, 02 Jun 2016 13:42:58 +0000, by Steve Losh
Update benchmarks a bit
Thu, 02 Jun 2016 10:36:29 +0000, by Steve Losh
Try out actual PAIPROLOG
Thu, 19 May 2016 14:13:37 +0000, by Steve Losh
Try out the fixed store size. fixed-size-store
Sun, 15 May 2016 11:01:55 +0000, by Steve Losh
Begin inlining things
Sun, 15 May 2016 00:06:53 +0000, by Steve Losh
Add the first optimization pass: constants
Sat, 14 May 2016 22:42:31 +0000, by Steve Losh
Make the compiler use a circle for the instruction list
Sat, 14 May 2016 18:52:14 +0000, by Steve Losh
Add a circle data structure
Fri, 13 May 2016 20:00:52 +0000, by Steve Losh
Split apart compilation into precompile/render phases
Thu, 12 May 2016 18:52:30 +0000, by Steve Losh
Add constant cells (unused for now)
Tue, 10 May 2016 19:42:04 +0000, by Steve Losh
Reserve an extra tag bit for the coming optimizations
Tue, 10 May 2016 19:33:09 +0000, by Steve Losh
Don't put structure cells on the heap
Tue, 10 May 2016 19:05:13 +0000, by Steve Losh
I can't spell
Tue, 10 May 2016 00:05:11 +0000, by Steve Losh
Typo
Tue, 10 May 2016 00:00:53 +0000, by Steve Losh
THE CELLING
Mon, 09 May 2016 23:59:25 +0000, by Steve Losh
Privilege heap address 0 as a magic unset sentinal value
Mon, 09 May 2016 22:00:49 +0000, by Steve Losh
Rename `heap-cell` to just `cell`
Mon, 09 May 2016 21:41:38 +0000, by Steve Losh
THE CONCATENING
Sun, 08 May 2016 21:25:08 +0000, by Steve Losh
Purge compiled CL code before benchmarking
Mon, 02 May 2016 19:29:36 +0000, by Steve Losh
THE STRUCTENING
Mon, 02 May 2016 19:07:40 +0000, by Steve Losh
Add bench-results.txt to .hgignore.
Mon, 02 May 2016 17:56:08 +0000, by Steve Losh
Add a benchrunner
Mon, 02 May 2016 17:55:07 +0000, by Steve Losh
Add a similar awful benchmark for the PAIP implementation
Mon, 02 May 2016 16:44:29 +0000, by Steve Losh
Add a barebones GGP test case so we can start poking at performance
Sat, 30 Apr 2016 22:57:09 +0000, by Steve Losh
Fix fresh db macro
Thu, 28 Apr 2016 18:02:52 +0000, by Steve Losh
Cleanup
Sun, 24 Apr 2016 14:00:54 +0000, by Steve Losh
Add some tests
Sun, 24 Apr 2016 13:55:28 +0000, by Steve Losh
Improve the UI a bit
Sun, 24 Apr 2016 13:52:33 +0000, by Steve Losh
Add result returning
Fri, 22 Apr 2016 13:50:42 +0000, by Steve Losh
Add done-thunk and use it for query interaction
Fri, 22 Apr 2016 13:27:41 +0000, by Steve Losh
I give up on remembering the name of this file
Fri, 22 Apr 2016 12:39:36 +0000, by Steve Losh
Implement choice points and backtracking
Wed, 20 Apr 2016 21:04:27 +0000, by Steve Losh
Stop using the fill pointer for the stack
Wed, 20 Apr 2016 17:13:31 +0000, by Steve Losh
Add the TRY* instructions to compilation
Wed, 20 Apr 2016 16:33:38 +0000, by Steve Losh
Implement proper result extraction
Tue, 19 Apr 2016 14:00:32 +0000, by Steve Losh
Where the hell did this go?
Tue, 19 Apr 2016 12:16:52 +0000, by Steve Losh
Put query code into the front of the main CODE store to run
Mon, 18 Apr 2016 18:43:12 +0000, by Steve Losh
Refactor the shared variables copypasting
Mon, 18 Apr 2016 15:38:02 +0000, by Steve Losh
Update tokenization comment
Mon, 18 Apr 2016 15:29:53 +0000, by Steve Losh
Make all the arrows in comments consistent
Mon, 18 Apr 2016 15:26:29 +0000, by Steve Losh
Todone
Mon, 18 Apr 2016 15:22:44 +0000, by Steve Losh
Typo
Mon, 18 Apr 2016 15:21:41 +0000, by Steve Losh
Document the nightmare
Mon, 18 Apr 2016 15:16:22 +0000, by Steve Losh
Remove unnecessary stack/structure opcodes
Mon, 18 Apr 2016 13:08:47 +0000, by Steve Losh
Make L2 work properly
Sun, 17 Apr 2016 21:36:15 +0000, by Steve Losh
Fix the interpreter and add a simple UI
Sat, 16 Apr 2016 13:50:36 +0000, by Steve Losh
Rename a few files
Sat, 16 Apr 2016 13:07:16 +0000, by Steve Losh
Update the VM instructions to use register designators
Sat, 16 Apr 2016 12:54:58 +0000, by Steve Losh
Implement (mostly) register designators
Sat, 16 Apr 2016 02:20:29 +0000, by Steve Losh
Add a REAL janky result extractor
Fri, 15 Apr 2016 22:42:03 +0000, by Steve Losh
Implement the stack, register designators, and track permanent vars
Fri, 15 Apr 2016 20:28:35 +0000, by Steve Losh
Refactor the parsing and register assignment
Thu, 14 Apr 2016 17:16:20 +0000, by Steve Losh
"Pre-inline" the structure argument register assignments
Thu, 14 Apr 2016 14:00:45 +0000, by Steve Losh
Fix macro quoting
Thu, 14 Apr 2016 13:41:01 +0000, by Steve Losh
Fix up `push-if-new` with setf/places macromancy
Thu, 14 Apr 2016 13:32:31 +0000, by Steve Losh
Start working on L2
Wed, 13 Apr 2016 17:38:57 +0000, by Steve Losh
Add the program runner
Sun, 10 Apr 2016 18:17:03 +0000, by Steve Losh
Add code labels and implement the new program instructions
Sun, 10 Apr 2016 17:43:04 +0000, by Steve Losh
Implement the query code runner
Sun, 10 Apr 2016 16:02:54 +0000, by Steve Losh
Rename the utils files
Sun, 10 Apr 2016 14:41:50 +0000, by Steve Losh
First stab at compiling L1 -- not ready yet
Sun, 10 Apr 2016 14:35:22 +0000, by Steve Losh
Change functor representation
Tue, 05 Apr 2016 15:00:28 +0000, by Steve Losh
Start working on the bytecode generation
Fri, 01 Apr 2016 19:16:23 +0000, by Steve Losh
Deal with the L1 register assignment mess
Fri, 01 Apr 2016 17:24:39 +0000, by Steve Losh
Improve the code dumping function
Thu, 31 Mar 2016 22:17:53 +0000, by Steve Losh
Add the code store to the WAM (unused right now)
Wed, 30 Mar 2016 13:44:34 +0000, by Steve Losh
Make the WAM heap resizable
Wed, 30 Mar 2016 00:30:33 +0000, by Steve Losh
Add break to run
Tue, 29 Mar 2016 23:09:51 +0000, by Steve Losh
Poke at GGP a bit
Mon, 28 Mar 2016 20:32:33 +0000, by Steve Losh
Render doc
Mon, 28 Mar 2016 17:52:48 +0000, by Steve Losh
WHAT HATH GOD WROUGHT
Mon, 28 Mar 2016 00:43:24 +0000, by Steve Losh
Fiddle with and document the unification instructions a bit
Sun, 27 Mar 2016 22:30:52 +0000, by Steve Losh
Add a function for extracting things from the heap
Sun, 27 Mar 2016 22:25:43 +0000, by Steve Losh
Rewrite registers to be addresses, not cells
Sun, 27 Mar 2016 18:32:37 +0000, by Steve Losh
Blur the lambdas, and fix the instruction argument order
Sat, 26 Mar 2016 22:53:28 +0000, by Steve Losh
More work on L0, a bit of cleanup
Sat, 26 Mar 2016 20:40:23 +0000, by Steve Losh
Clean up topological-sort
Sat, 26 Mar 2016 19:30:09 +0000, by Steve Losh
Fix up docstring
Sat, 26 Mar 2016 19:21:05 +0000, by Steve Losh
Fix the topological sorting
Sat, 26 Mar 2016 19:19:07 +0000, by Steve Losh
Add a few comments and a pair of utility functions for the WAM heap
Sat, 26 Mar 2016 12:21:56 +0000, by Steve Losh
Fix flet/labels indentation before I lose my mind
Sat, 26 Mar 2016 12:02:43 +0000, by Steve Losh
Split the WAM into component files
Fri, 25 Mar 2016 18:52:21 +0000, by Steve Losh
Clean up and add a few comments, and add a bit more type hinting
Fri, 25 Mar 2016 18:40:46 +0000, by Steve Losh
Store functors so we can print them later
Fri, 25 Mar 2016 18:10:03 +0000, by Steve Losh
Document the heap cell format a bit
Fri, 25 Mar 2016 18:09:23 +0000, by Steve Losh
Move scratch garbage into the scratch file
Fri, 25 Mar 2016 11:53:03 +0000, by Steve Losh
Clean up some of the WAM code/interface
Fri, 25 Mar 2016 11:51:13 +0000, by Steve Losh
Prettify the heap printing a bit
Fri, 25 Mar 2016 11:50:11 +0000, by Steve Losh
Use switch instead of cond, it's cleaner
Fri, 25 Mar 2016 11:49:46 +0000, by Steve Losh
Define some WAM index types
Fri, 25 Mar 2016 11:49:06 +0000, by Steve Losh
Move and clean up the functor wrapper functions
Fri, 25 Mar 2016 11:48:00 +0000, by Steve Losh
Add docstrings
Fri, 25 Mar 2016 11:47:29 +0000, by Steve Losh
Add STATUS to .hgignore.
Fri, 25 Mar 2016 11:44:54 +0000, by Steve Losh
Grammaaeareraer
Thu, 24 Mar 2016 23:13:47 +0000, by Steve Losh
Remove unused function
Thu, 24 Mar 2016 23:13:11 +0000, by Steve Losh
Oh shit I've got a WAM
Thu, 24 Mar 2016 23:08:43 +0000, by Steve Losh
Implement a rudimentary heap for the WAM, part 0
Thu, 24 Mar 2016 18:51:08 +0000, by Steve Losh
Disable the broken PAIPC for now
Thu, 24 Mar 2016 15:26:03 +0000, by Steve Losh
More grinding through the compiled version
Thu, 24 Mar 2016 15:17:51 +0000, by Steve Losh
Factor out cl-d-api garbage
Wed, 23 Mar 2016 17:43:02 +0000, by Steve Losh
Initial pass at the compiler
Tue, 22 Mar 2016 16:46:29 +0000, by Steve Losh
Add destructive unification
Tue, 22 Mar 2016 14:31:35 +0000, by Steve Losh
Add API documentation building
Fri, 18 Mar 2016 13:50:04 +0000, by Steve Losh
Improve the testing infrastructure, rename find-all
Fri, 18 Mar 2016 12:09:36 +0000, by Steve Losh
Add backtracking and wildcards
Mon, 14 Mar 2016 23:01:26 +0000, by Steve Losh
Add scratch.lisp to .hgignore.
Mon, 14 Mar 2016 22:59:10 +0000, by Steve Losh
Finish basic proving
Thu, 10 Mar 2016 18:22:56 +0000, by Steve Losh
Start on the logic database
Thu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
Add variable/binding substitution
Wed, 09 Mar 2016 11:48:07 +0000, by Steve Losh
Add a couple more unification tests
Wed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
Test the occurs check
Wed, 09 Mar 2016 11:33:07 +0000, by Steve Losh
Get some basic unification up and running
Tue, 08 Mar 2016 15:27:47 +0000, by Steve Losh
Set up a clean namespace for the initial PAIP implementation
Tue, 08 Mar 2016 12:31:44 +0000, by Steve Losh
More 99P
Tue, 08 Mar 2016 12:16:50 +0000, by Steve Losh
GA the docs
Mon, 07 Mar 2016 13:39:38 +0000, by Steve Losh

less more | at revision 240: (0) tip