|
|
a9ff3b4a5f
|
a framework to enable sensible query enfgine tests
|
2026-02-11 11:02:48 +00:00 |
|
|
|
872a9ee791
|
now fully computing the herbrand, maybe incorrectly
|
2026-02-11 10:39:40 +00:00 |
|
|
|
d5beb57492
|
yet more herbrand code
|
2026-02-10 17:36:41 +00:00 |
|
|
|
591a24d755
|
refining the tuple calculations
|
2026-02-10 16:39:10 +00:00 |
|
|
|
6848663caf
|
added an API to extract the constants
|
2026-02-10 14:55:45 +00:00 |
|
|
|
dfdb43699e
|
more test cases for allMaps
|
2026-02-10 14:50:04 +00:00 |
|
|
|
7c984dbb2a
|
added utility class and 'allMaps' function
|
2026-02-10 13:18:59 +00:00 |
|
|
|
f4cd68a76e
|
rearranging code
|
2026-02-10 12:41:57 +00:00 |
|
|
|
97c9e2d34b
|
pushed the problem of Herbrand construction down 1 layer
|
2026-02-10 12:05:55 +00:00 |
|
|
|
ae2f4d7552
|
now using GHC2024
|
2026-02-03 18:32:02 +00:00 |
|
|
|
593da2abb5
|
herbrand 2
|
2026-02-03 18:29:38 +00:00 |
|
|
|
4a9782c9c1
|
herbrand continued
|
2026-02-03 18:19:47 +00:00 |
|
|
|
a70cf1f6bf
|
slowly figuring out how to populate the herbrand
|
2026-02-03 16:11:41 +00:00 |
|
|
|
ab610a6c78
|
adjust the DatalogDB API, give access to relation names
|
2026-02-03 12:54:34 +00:00 |
|
|
|
d51cd11da6
|
renaming accessors
|
2026-02-03 11:51:25 +00:00 |
|
|
|
86c9b73ebe
|
initial structure for NaiveQE
|
2026-02-03 11:03:46 +00:00 |
|
|
|
0b98490756
|
basic API for query engines
|
2026-01-30 18:29:12 +00:00 |
|
|
|
697568a8c3
|
delinting
|
2026-01-30 18:17:41 +00:00 |
|
|
|
d75a6b054d
|
dummy classes for the query engine
|
2026-01-30 18:13:47 +00:00 |
|
|
|
eb7c1b4110
|
made use of common settings
|
2026-01-30 17:02:29 +00:00 |
|
|
|
7bc407536a
|
commented out some experimental lookupdate methods that the world isn't quite ready for
|
2026-01-30 16:32:49 +00:00 |
|
|
|
970afa2b61
|
sorting out the lookup functions
|
2026-01-30 16:16:06 +00:00 |
|
|
|
05b6aefabe
|
simplified language features and tests
|
2026-01-30 16:07:23 +00:00 |
|
|
|
dbf54df171
|
Claude renames
|
2026-01-30 15:39:17 +00:00 |
|
|
|
85e57325dc
|
sorted imports
|
2026-01-30 14:53:27 +00:00 |
|
|
|
faefb3c2c7
|
tidying up imports
|
2026-01-30 14:47:29 +00:00 |
|
|
|
6b3dae34f5
|
fairly drastic restructuring
|
2026-01-30 14:46:09 +00:00 |
|
|
|
2828825f02
|
factored out addFact, addRule
|
2026-01-30 14:37:45 +00:00 |
|
|
|
b816bb4cae
|
simplified addRule
|
2026-01-30 14:28:51 +00:00 |
|
|
|
2f911a9f39
|
simplified addFact
|
2026-01-30 14:22:46 +00:00 |
|
|
|
b8db9477c0
|
lift addFact
|
2026-01-30 12:53:40 +00:00 |
|
|
|
e01a1ba3df
|
digestBody uses the typeclass
|
2026-01-30 12:08:29 +00:00 |
|
|
|
55b12f5c00
|
tidier digestHead
|
2026-01-30 11:24:44 +00:00 |
|
|
|
136412a4dd
|
digestHead abstracts DatalogDB
|
2026-01-30 11:07:40 +00:00 |
|
|
|
6dda089bfe
|
digestHead refactor
|
2026-01-30 11:00:24 +00:00 |
|
|
|
d8d2c51dec
|
'addConstants' API method
|
2026-01-30 10:55:19 +00:00 |
|
|
|
72f973c195
|
lift up addRule
|
2026-01-30 10:47:27 +00:00 |
|
|
|
15f84e414d
|
tidying up dependencies
|
2026-01-30 10:32:10 +00:00 |
|
|
|
b997ee635e
|
rearranging modules
|
2026-01-30 10:27:26 +00:00 |
|
|
|
f7d89f89c9
|
using typeclass APIs
|
2026-01-29 17:27:11 +00:00 |
|
|
|
6ae455886b
|
using the typeclass
|
2026-01-29 17:07:44 +00:00 |
|
|
|
069733e474
|
adding typeclass APIs
|
2026-01-29 17:02:27 +00:00 |
|
|
|
fe899bbb0c
|
introduce typeclass
|
2026-01-29 16:42:53 +00:00 |
|
|
|
0a1a39cfc9
|
introduce Rules module to factpr out the rule stuff
|
2026-01-29 16:30:47 +00:00 |
|
|
|
396ef53b12
|
sorted out rules engine, fixed bug about adding rules
|
2026-01-29 15:07:14 +00:00 |
|
|
|
76bbd1e13e
|
correctly handling duplicate head entries
|
2026-01-28 17:40:40 +00:00 |
|
|
|
3c7c587045
|
tidying
|
2026-01-28 16:45:01 +00:00 |
|
|
|
c0a6a447cf
|
supposed improvements to DatalogParser, from hlint
|
2026-01-28 16:41:33 +00:00 |
|
|
|
5c0cc77221
|
delinting with an h
|
2026-01-28 12:39:32 +00:00 |
|
|
|
fb2699624f
|
eliminated duplicate variable lookup
|
2026-01-28 11:55:08 +00:00 |
|
