Graham Nelson
|
3856fb9d2f
|
Simplified instance grammar
|
2021-02-13 13:18:26 +00:00 |
|
Graham Nelson
|
b2a5a56317
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
|
Graham Nelson
|
fab4ab3c78
|
Refactored inference subjects into families with methods
|
2021-02-11 22:53:43 +00:00 |
|
Graham Nelson
|
14703f57d0
|
More on knowledge
|
2021-02-10 22:20:57 +00:00 |
|
Graham Nelson
|
ce1f8291b9
|
Began work on knowledge module
|
2021-02-09 21:27:52 +00:00 |
|
Graham Nelson
|
6fa43d8caa
|
Improved tables and equations
|
2021-02-07 12:44:02 +00:00 |
|
Graham Nelson
|
b4a6775fa6
|
Reorganised the values module
|
2021-02-06 18:00:34 +00:00 |
|
Graham Nelson
|
43bbcdbaf4
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
|
Graham Nelson
|
65f41dbca4
|
Completed simplifications
|
2021-02-04 09:24:35 +00:00 |
|
Graham Nelson
|
41efae7f29
|
Clarified sentence conversions
|
2021-02-03 09:32:42 +00:00 |
|
Graham Nelson
|
e0a25411c8
|
Completed refactor of binary predicates
|
2021-02-02 13:55:27 +00:00 |
|
Graham Nelson
|
edadedbd82
|
Divided off more of run-time implementation
|
2021-02-01 23:24:17 +00:00 |
|
Graham Nelson
|
b989cd1d80
|
Catching back up
|
2021-01-31 14:57:05 +00:00 |
|
Graham Nelson
|
180d254ca7
|
Tidying up calculus module
|
2020-09-02 23:24:10 +01:00 |
|
Graham Nelson
|
515b130748
|
Pared calculus module down to essential predicates only
|
2020-08-29 09:33:21 +01:00 |
|
Graham Nelson
|
8e8565c0db
|
Further work on annotation logging
|
2020-08-28 01:00:52 +01:00 |
|
Graham Nelson
|
b0c0bf87ea
|
Further post-fragmentation tidying
|
2020-08-27 15:50:24 +01:00 |
|
Graham Nelson
|
dfcc5ee277
|
Completed fragmentation
|
2020-08-26 10:52:50 +01:00 |
|
Graham Nelson
|
22d2c3d8bd
|
Moved sentence conversion into calculus module
|
2020-08-25 21:47:14 +01:00 |
|
Graham Nelson
|
23ff600463
|
Began refactoring unary predicates
|
2020-08-24 00:22:48 +01:00 |
|
Graham Nelson
|
107f9b2c74
|
Improved testing of terms and atoms
|
2020-08-23 12:00:56 +01:00 |
|
Graham Nelson
|
623d5e340c
|
Wrote basic calculus-test tool
|
2020-08-22 12:59:50 +01:00 |
|
Graham Nelson
|
b2cf29137d
|
Further progress towards calculus module
|
2020-08-21 22:38:20 +01:00 |
|
Graham Nelson
|
7d3f53cc61
|
Introduced binary predicate families
|
2020-08-20 11:50:43 +01:00 |
|
Graham Nelson
|
f695cd7a4f
|
Further work on Neptune
|
2020-08-19 00:56:02 +01:00 |
|
Graham Nelson
|
e0cf630409
|
Rewrote Neptune files parser
|
2020-08-18 18:59:08 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
2a48aeb128
|
Completed Chapter 2 of kinds module
|
2020-08-12 13:05:44 +01:00 |
|
Graham Nelson
|
83dcd79164
|
Improved kind-checking of contravariant constructors
|
2020-08-11 11:55:39 +01:00 |
|
Graham Nelson
|
0e87f5b4db
|
Moved inform7 CLI from core to main section
|
2020-08-09 09:15:46 +01:00 |
|
Graham Nelson
|
dd0605493a
|
Moved kinds module to services library and added test utility
|
2020-08-08 17:40:02 +01:00 |
|
Graham Nelson
|
b716540ffd
|
Better logging of parse tree, part II
|
2020-08-07 10:39:22 +01:00 |
|
Graham Nelson
|
51c0f7c521
|
Better logging of parse tree, part I
|
2020-08-06 22:01:38 +01:00 |
|
Graham Nelson
|
a313aa1178
|
Annotated ADJECTIVE nodes by unary predicate, not adjectival phrase
|
2020-08-05 09:15:26 +01:00 |
|
Graham Nelson
|
4760fa1202
|
Refactored rule placement requests
|
2020-08-04 00:13:50 +01:00 |
|
Graham Nelson
|
3d2acd99cc
|
Improved handling of use option sentences
|
2020-08-03 12:11:27 +01:00 |
|
Graham Nelson
|
97a3197678
|
Refactored refinement and X of Y surgery
|
2020-08-02 10:59:03 +01:00 |
|
Graham Nelson
|
17381751e8
|
Further resequencing of early compilation
|
2020-08-01 11:35:56 +01:00 |
|
Graham Nelson
|
05d4924293
|
Further linguistic reforms
|
2020-07-31 08:19:26 +01:00 |
|
Graham Nelson
|
143f961836
|
Resequenced startup
|
2020-07-30 12:12:41 +01:00 |
|
Graham Nelson
|
57754f7781
|
Refactored early sentence parsing
|
2020-07-29 18:43:44 +01:00 |
|
Graham Nelson
|
f3781d3e97
|
New Preform notation in linguistics module
|
2020-07-28 00:35:58 +01:00 |
|
Graham Nelson
|
9b916d275e
|
Improved assertion nounphrase grammar
|
2020-07-27 00:27:32 +01:00 |
|
Graham Nelson
|
8346b618bb
|
Refactored verb annotations and possessives
|
2020-07-26 16:09:24 +01:00 |
|
Graham Nelson
|
d39ba63b33
|
A digression into 7-dimensional geometry
|
2020-07-20 00:25:27 +01:00 |
|
Graham Nelson
|
89d746496b
|
Refactored pronouns, defective nouns and linguistics module testing
|
2020-07-19 18:31:23 +01:00 |
|
Graham Nelson
|
c16ced6a3c
|
Sorted search results in inbuild
|
2020-07-18 10:27:25 +01:00 |
|
Graham Nelson
|
9ce5924d55
|
Converted Chanel and Wallpaper example test cases to run on Glulx
|
2020-07-16 14:29:47 +01:00 |
|
Graham Nelson
|
8b6a338718
|
Made intested blurb comparisons platform-independent
|
2020-07-15 21:19:45 +01:00 |
|
Graham Nelson
|
2b5772281a
|
Further wchar_t puritanism
|
2020-07-13 21:37:54 +01:00 |
|