a77e9fda3229
|
Fucking Bitbucket
|
Steve Losh |
2017-10-22 |
53b3bd05714d
|
First stab at usage doc. Not done yet
|
Steve Losh |
2017-10-22 |
6f43a660d22a
|
Remove the stupid cl-arrows dep
|
Steve Losh |
2017-03-29 |
a5086be7e1aa
|
Add LICENSE
|
Steve Losh |
2017-03-14 |
2eb92f8b468c
|
Add some docstrings
|
Steve Losh |
2017-02-17 |
c31f22ad19d5
|
Update quickutils package bullshit
|
Steve Losh |
2017-02-17 |
221dc09d73f9
|
Split up main/test systems
|
Steve Losh |
2017-02-17 |
33c0ccf4e906
|
Clean up output
|
Steve Losh |
2017-02-17 |
fd638982ad83
|
Memory is cheap
|
Steve Losh |
2017-02-09 |
95495223e6c1
|
Rename `ensure-aref`, formatting
|
Steve Losh |
2017-02-09 |
c9ecd6ef59b9
|
Update docs
|
Steve Losh |
2016-11-05 |
024d042b3147
|
Add `query-for`
|
Steve Losh |
2016-09-26 |
3383e2593fe2
|
Add ABCL support
|
Steve Losh |
2016-09-24 |
7d1e30b7233c
|
Add rudimentary tracing support
|
Steve Losh |
2016-09-03 |
11228bf838d0
|
Add relational db unit test from TAOP
|
Steve Losh |
2016-09-03 |
fd171f53d514
|
Typo
|
Steve Losh |
2016-08-25 |
9b7638f642a0
|
Add PAIProlog GDL benchmark
|
Steve Losh |
2016-08-25 |
cbfb813a3f82
|
Oh for fuck's sake
|
Steve Losh |
2016-08-25 |
dc12ccf8df91
|
Remove some inlining to aid in profiling
|
Steve Losh |
2016-08-24 |
16b422487296
|
Add profiling to the GDL benchmark
|
Steve Losh |
2016-08-24 |
1c134f25b12a
|
Add contrib/gdl-benchmark/gdl.prof to .hgignore.
|
Steve Losh |
2016-08-24 |
1f0a36161f17
|
Implement the rest of the GDL benchmarking
|
Steve Losh |
2016-08-24 |
45622a0c4e96
|
Set up the basic framework for the benchmark
|
Steve Losh |
2016-08-24 |
9da17791e5da
|
Add benchmarking package and setup instructions
|
Steve Losh |
2016-08-24 |
7514865459fd
|
Add skeleton of benchmark script
|
Steve Losh |
2016-08-24 |
f7cc5624141a
|
Doc tweaks
|
Steve Losh |
2016-08-24 |
0645e41d9d0e
|
Use Alexandria's `when-let`
|
Steve Losh |
2016-08-23 |
b784df2de049
|
Don't depend on shit we don't need
|
Steve Losh |
2016-08-23 |
f0f90671d4dc
|
Remove useless file
|
Steve Losh |
2016-08-23 |
6ed3375e2921
|
Remove the `.wam` package now that paip is gone
|
Steve Losh |
2016-08-23 |
df709571ebe3
|
Use `ensure-gethash`
|
Steve Losh |
2016-08-23 |
551c9d5d47d4
|
Sketch out a documentation plan
|
Steve Losh |
2016-08-23 |
9b00a02e889d
|
Update README
|
Steve Losh |
2016-08-23 |
837374f5256d
|
Make all the UI functions take a database parameter
|
Steve Losh |
2016-08-23 |
38d5c4302e12
|
Rename `*database*` -> `*standard-database*`
|
Steve Losh |
2016-08-23 |
b1333b02f868
|
Fuckin markdown
|
Steve Losh |
2016-08-20 |
927bb496bce0
|
Update README
|
Steve Losh |
2016-08-20 |
66c01894e34c
|
Makefile fuckery
|
Steve Losh |
2016-08-20 |
5977919552ee
|
Rename the project
|
Steve Losh |
2016-08-20 |
81939d20415a
|
Remove newly-useless nesting in the src directory
|
Steve Losh |
2016-08-20 |
19200659513a
|
Remove PAIP
|
Steve Losh |
2016-08-20 |
137f6b7d81d2
|
Added tag paip for changeset 9bdd5543b1d9
|
Steve Losh |
2016-08-20 |
9bdd5543b1d9
|
Remove unused functions
paip
|
Steve Losh |
2016-08-20 |
2df541caba61
|
Remove unused function
|
Steve Losh |
2016-08-20 |
f62853c43fb9
|
Vendorize quickutils
|
Steve Losh |
2016-08-20 |
5dce435d830e
|
Remove examples directory
|
Steve Losh |
2016-08-20 |
8897604cb9dd
|
Clean up the test running and makefile
|
Steve Losh |
2016-08-20 |
cb324d188513
|
Update links
|
Steve Losh |
2016-08-20 |
736f0a91c9fc
|
Close dead branch
fixed-size-store
|
Steve Losh |
2016-08-20 |
e9bd0632eadd
|
Add problem 14 from 99PP as a test
|
Steve Losh |
2016-08-20 |
ab7de6629c42
|
Add tests from TAOP section 2.3
|
Steve Losh |
2016-07-24 |
9c72baeb00f9
|
Add tests from TAOP section 2.2
|
Steve Losh |
2016-07-23 |
cbde08d7548e
|
Whitespace
|
Steve Losh |
2016-07-23 |
f872f5b60d73
|
ACTUALLY add some tests from TAOP
|
Steve Losh |
2016-07-23 |
4abb7eda96cb
|
Add some tests from TAOP
|
Steve Losh |
2016-07-23 |
3325913a9b16
|
Add `put-void`
|
Steve Losh |
2016-07-22 |
582f7076626b
|
Change `(values)` to `nil`
|
Steve Losh |
2016-07-17 |
ba96e98a1d54
|
Add precompilation of static queries at compile time
|
Steve Losh |
2016-07-17 |
aacf9ee4fddc
|
Port some of the '99 Prolog Problems' to Bones as unit tests
|
Steve Losh |
2016-07-17 |
62c76cc272e7
|
Switch a couple of `mapcar`s to `mapc`s
|
Steve Losh |
2016-07-16 |
8a247663fec5
|
Remove optima
|
Steve Losh |
2016-07-16 |
6c90a65137d9
|
Remove defstar
|
Steve Losh |
2016-07-16 |
5593ae4bcb5c
|
Remove return declarations
|
Steve Losh |
2016-07-16 |
2a2765e8f0f5
|
Add a few more type declarations
|
Steve Losh |
2016-07-16 |
f1ef8f905a1d
|
Split functor cells into separate functor and arity cells
|
Steve Losh |
2016-07-16 |
ec2fab887b0f
|
Constant can just use the functor symbol directly
|
Steve Losh |
2016-07-15 |
c4dd0b6c3a91
|
Remove unused arguments
|
Steve Losh |
2016-07-15 |
a8598eafe403
|
Remove the god damn functor table
|
Steve Losh |
2016-07-15 |
9d42a27624fd
|
`tree-collect` is slow and conses a ton
|
Steve Losh |
2016-07-15 |
82413ba524d8
|
De-CLOS the register assignments
|
Steve Losh |
2016-07-15 |
e555488c15e6
|
De-CLOS the parse tree
|
Steve Losh |
2016-07-15 |
a095d20eeebc
|
Split up the damn compiler.lisp file
|
Steve Losh |
2016-07-15 |
5edeeac89e03
|
Add numbers
|
Steve Losh |
2016-07-15 |
1411666a60f8
|
Clean up the examples a bit, still needs a lot of work
|
Steve Losh |
2016-07-15 |
c547c69d5405
|
Minor cleanup
|
Steve Losh |
2016-07-15 |
100ba597fd85
|
Add a beast of a macro to clean up/optimize the hot loop
|
Steve Losh |
2016-07-14 |
5c914fbcb042
|
Switch to 1am, test under ECL too
|
Steve Losh |
2016-07-14 |
8cfac0fbe30d
|
Inline a function and use eq hash
|
Steve Losh |
2016-07-13 |
eec2064a08b6
|
Put the actual functor conses into the store
|
Steve Losh |
2016-07-13 |
31305584b29b
|
Split apart the main WAM store into separate type/value arrays
|
Steve Losh |
2016-07-13 |
184e610451c0
|
Initial poke at Lispifying the code store
|
Steve Losh |
2016-07-12 |
a02637eeccca
|
Add Hanoi test from tAoP
|
Steve Losh |
2016-07-12 |
6adb44b99131
|
Comment the logic stack section a tiny bit
|
Steve Losh |
2016-07-12 |
eda9b4d218f4
|
Remove useless inline declarations
|
Steve Losh |
2016-07-12 |
df9962950d28
|
Elide the unnecessary ALOC/DEAL from chain rules
|
Steve Losh |
2016-07-12 |
2ce458ef85fd
|
Implement last call optimization
|
Steve Losh |
2016-07-12 |
cb3cc671d18d
|
Beef up the PAIP queues a bit and (ab)use them in the compiler
|
Steve Losh |
2016-07-11 |
401cba673bda
|
Simplify and optimize register allocation just a bit
|
Steve Losh |
2016-07-11 |
789aa5540746
|
Make instructions inlineable
|
Steve Losh |
2016-07-11 |
ab7ad2d6f641
|
Optimize `find-anonymous-variables`
|
Steve Losh |
2016-07-11 |
d2ede3f3926a
|
Save the god damn frames
|
Steve Losh |
2016-07-11 |
8ea123b6d26f
|
Inline the trail pointer functions
|
Steve Losh |
2016-07-11 |
c76d55908e2e
|
Optimize circles a bit
|
Steve Losh |
2016-07-11 |
96258fb7be70
|
Type hint the compiler
|
Steve Losh |
2016-07-11 |
abffacd7848a
|
Merge the code I accidentally branched off because I'm an idiot
|
Steve Losh |
2016-07-11 |
3b0161d2100d
|
Refactor the main WAM store into a `simple-array`
|
Steve Losh |
2016-07-11 |
23d4dc2900a1
|
Refactor the code store to use a simple-array
|
Steve Losh |
2016-07-11 |
7bd5fdb2151d
|
Don't ever use this
|
Steve Losh |
2016-07-11 |
d6b6684d6b7b
|
Turn `instruction-size` into a neat little lookup table
|
Steve Losh |
2016-07-11 |
2a7cb53fb03f
|
Clean up the GGP a tiny bit
|
Steve Losh |
2016-07-11 |
4d17e3cb6fa2
|
Type-hint the WAM `setf` functions
|
Steve Losh |
2016-07-10 |
8cd3257c58e3
|
Name the subterm-handling instructions something not completely stupid
|
Steve Losh |
2016-07-10 |
ba205f6b2875
|
Excise the stupid fucking `set-*` opcodes
|
Steve Losh |
2016-07-10 |
07e1d5f315f5
|
Fix constant unification
|
Steve Losh |
2016-07-09 |
92c590f78133
|
Pool logic frames to avoid creating so many hash tables
|
Steve Losh |
2016-07-09 |
8c853f632f8c
|
Clean up and fix the anonymous variable handling
|
Steve Losh |
2016-07-08 |
2415dbe555d2
|
Export symbols and add a few sanity checks
|
Steve Losh |
2016-07-08 |
55019395ba93
|
Normalize facts and queries because people are lazy
|
Steve Losh |
2016-07-06 |
f7b7440c46ff
|
Clean up the rule UI too
|
Steve Losh |
2016-07-06 |
0955ab257fef
|
Clean up the UI
|
Steve Losh |
2016-07-06 |
be83cfc938fb
|
Add profile.out to .hgignore.
|
Steve Losh |
2016-07-06 |
a3466a551136
|
Don't cons lists of numbers, jesus christ
|
Steve Losh |
2016-07-05 |
209ecb9eeb25
|
Use a queues instead of lists for the logic frame pending predicates
|
Steve Losh |
2016-07-05 |
9086482c09ee
|
Rename "code frame" to "logic frame"
|
Steve Losh |
2016-07-05 |
410acaae0c14
|
Implement logic frames for assertion/retraction
|
Steve Losh |
2016-07-05 |
6a93a2d2ed60
|
Clean up formatting
|
Steve Losh |
2016-07-05 |
89df9abc00e5
|
Add a handy disassembly macro
|
Steve Losh |
2016-07-05 |
970e21fa14b0
|
Implement anonymous variables and the `*_void` opcodes
|
Steve Losh |
2016-07-04 |
d255816ad1d0
|
Switch from `:keyword` variables to `?symbol` ones
|
Steve Losh |
2016-07-03 |
802872f9505a
|
Add AIPS Rovers example
|
Steve Losh |
2016-06-30 |
4520c6449f48
|
Add Towers of Hanoi GDL example
|
Steve Losh |
2016-06-30 |
13136d4b4761
|
Run the tests on CCL too
|
Steve Losh |
2016-06-30 |
05ce726f2874
|
Comment the `bind!` thing a bit more
|
Steve Losh |
2016-06-29 |
de6e248866f4
|
Implement dynamic calling and fix `bind!`
|
Steve Losh |
2016-06-29 |
792dfa2f9120
|
Clean up opcode definition
|
Steve Losh |
2016-06-29 |
809f43baf982
|
Fix a pair of really nasty bugs
|
Steve Losh |
2016-06-10 |
72bbdd515725
|
Rewrite the compiler
|
Steve Losh |
2016-06-07 |
796ef7444a29
|
Fix docstring to be more clear
|
Steve Losh |
2016-06-05 |