aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
6 daysChanged Scheme benchmark tests to need manual code copy/paste from miniKanren...HEADmasterJedidiah Barber
10 daysProper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing filesJedidiah Barber
11 daysReadme updated to note IDDFS useJedidiah Barber
11 daysMore complete IDDFS that resets counter when backtrackingJedidiah Barber
12 daysIterative deepening depth first search as a complete (?) search methodJedidiah Barber
2026-02-06Changed the map for DOT in Pretty_Print to a Hashed_MapJedidiah Barber
2026-02-06Evaluation algorithm changed to inverted interleaved depth first searchJedidiah Barber
2026-01-29Some equivalent test programs in Scheme running on microKanren and miniKanren...Jedidiah Barber
2026-01-25Slight revision to readmeJedidiah Barber
2026-01-24Minor tidyup and some more commentsJedidiah Barber
2026-01-24Unrolled linked lists for StateJedidiah Barber
2026-01-22States are now custom linked listsJedidiah Barber
2026-01-22Moved < operator for Graph_Component_Access over to Pretty_Print packageJedidiah Barber
2026-01-21Refactor of evaluation using custom bookkeeping datatype instead of MapsJedidiah Barber
2026-01-19Fixed oversight in Resolve_First after switch to using a Vector in StateJedidiah Barber
2026-01-19Streamlined some Fresh declarations now that it won't affect performanceJedidiah Barber
2026-01-19Readme updatedJedidiah Barber
2026-01-19State now uses a Vector instead of a MapJedidiah Barber
2026-01-19Cached results now freed after being used by all possible branchesJedidiah Barber
2026-01-19Readme addedJedidiah Barber
2026-01-17Counter for next available Variable now held by each Goal instead of being gl...Jedidiah Barber
2026-01-17Changed default build switch to release instead of debugJedidiah Barber
2026-01-17Removed free logic Variable tracking in States, removed Fresh_Node and Static...Jedidiah Barber
2026-01-17Recurse fixed, caching functions consolidatedJedidiah Barber
2026-01-12Removed Nametags and identifier aliasing for VariablesJedidiah Barber
2026-01-08Cleaned up code in Houses exampleJedidiah Barber
2026-01-07Test programs now interleave calculation and text output betterJedidiah Barber
2026-01-06House number example programJedidiah Barber
2026-01-06Slight efficiency improvements to comparison subprogramsJedidiah Barber
2026-01-06Demonstration program for using arbitrary zero and one elements in Math genericJedidiah Barber
2026-01-05Small speed improvement to divisionJedidiah Barber
2026-01-05Logarithms now work for base=3Jedidiah Barber
2026-01-05Very slight improvement to Unify checksJedidiah Barber
2026-01-04Logarithm test program, base=3 not workingJedidiah Barber
2026-01-04Slight refactor of final branch of Logarithm to use GTEJedidiah Barber
2026-01-03Exponential/repeated-multiply test programJedidiah Barber
2026-01-02Multiplication test programJedidiah Barber
2026-01-02Addition/subtraction test program, bugfix in AddJedidiah Barber
2026-01-02Division test programJedidiah Barber
2026-01-02Fixed minor Math issues that didn't error until instantiationJedidiah Barber
2026-01-01Division, logarithm, exponentiationJedidiah Barber
2025-12-25Repeated multiply version of exponentiationJedidiah Barber
2025-12-25Reorganisation and additional numeric comparison subprogramsJedidiah Barber
2025-12-25Arithmetic -> Math package renameJedidiah Barber
2025-12-25Multiply and arithmetic comparison operatorsJedidiah Barber
2025-12-21Addition and subtraction arithmeticJedidiah Barber
2025-12-19Worlds separated into Goals that run on a State, improvement to unification e...Jedidiah Barber
2025-12-18Slightly more complete Zebra problem descriptionJedidiah Barber
2025-12-18Added missing equality function for TermJedidiah Barber
2025-12-18Reduced number of reallocations for conjunct operationsJedidiah Barber
generated by cgit (git 2.30.0) at 2026-02-20 09:02:23 +0000