a27cdecc67
Renamings and refactorings in the logic api.
...
Use TreeForm name for the tree abstraction.
Rename Atom, Func etc. and the usages.
2016-09-01 11:03:21 +02:00
9064c6bbb8
Minor fixes, code restructuring, fixing the dependencies, removing obsolete file.
2016-08-30 17:04:11 +02:00
4ce598b38a
Get rid of unwanted dependency in the reactor API.
2016-08-29 11:21:52 +02:00
b1ca25b235
Migrated to build 162.1310
2016-08-26 12:27:49 +02:00
778f1bf167
Trying to make tests launch from the build file (unsuccessful)
2016-08-26 12:17:10 +02:00
f0184de4c5
Extracting the JCHR-related stuff to drop it later.
...
Cleaning up the obsolete modules.
Get rid of dependencies on JCHR stuff.
2016-08-25 13:48:02 +02:00
622963f085
Ensure there is no self-dependency in the language "logic".
2016-08-22 15:46:29 +02:00
22c954f88e
Logic and typechecking2 lang editors: updating colors and styles for better readability (cont'd)
2016-08-15 11:54:02 +02:00
72463c7951
Auto-migrated to the new actions using build 162.1007.
2016-08-12 13:35:44 +02:00
77375a946d
Logic and typechecking2 lang editors: updating colors and styles for better readability.
2016-08-11 17:21:30 +02:00
ff065b0df6
Term list expression to avoid constructing lists with terms. Some editor improvements in logic and typesystem2 langs.
2016-08-09 12:14:52 +02:00
6c8d9bbb30
Fix broken model import
2016-08-05 13:40:04 +02:00
6d37fc39b6
Typesystem2 language: new feature allowing the use of type declarations in constructing type terms.
2016-08-05 12:39:39 +02:00
b6669a01af
Fix the wrong dependency.
2016-07-28 13:33:19 +02:00
fab042bfbb
Minor fix in the logic editor
2016-07-28 12:44:38 +02:00
17b0f4d0a7
Automatic lang version updates after migrating to EAP3.
2016-07-28 12:43:33 +02:00
710bd28fd7
Auto-updated the mds files. Removed unused broken imports from models.
2016-06-30 09:44:17 +02:00
b58166d1a5
API change: Predicates to be activated on successful match parameterized with occurrence arguments.
2016-06-27 13:18:39 +02:00
700f37982d
Refactoring: extract LogicalOwner interface to the reactor API.
2016-06-24 14:36:23 +02:00
1b5e55f4a6
Migrated to MPS 3.4 EAP2.
2016-06-08 13:46:19 +02:00
9880a6cf82
Implemented the fixed-arity invariant for terms with same symbol. The symbol "node" to have a suffix indicating its arity.
2016-06-06 16:45:23 +02:00
217c79f334
Ensure logical as constraint arguments are consistent with terms. Terms representing (Meta-)Logical to have logicals as symbols. Fix an NPE.
2016-05-29 15:50:37 +02:00
2f69b52350
A feature in typesystem2 language: specify the value for a variable constraint argument. The variable gets assigned the moment constraint is matched against a rule's head.
2016-05-29 15:50:37 +02:00
a3d2d81048
New feature: constraint occurrence used as pattern in rule's head has a list of logicals to be bound on successful match. Export unification predicates to be applied.
2016-05-29 15:50:30 +02:00
a85baaff55
Refactor constraint and predicate creation into builders
2016-05-24 12:56:06 +02:00
02c201b8f8
Various minor optimizations and code cleanup
2016-05-12 13:10:48 +02:00
0810cb25c7
More tests on lists and unification.
2016-04-28 15:39:55 +02:00
21e7808598
Updated unification lib, removed dependency on dexx collection.
2016-04-15 15:53:46 +02:00
6229f5ebb4
Process EvaluationFailureException and retry trace event correctly.
2016-04-15 15:53:45 +02:00
ddb1d668c1
Support for body alternation in the reactor API.
2016-04-11 15:33:29 +02:00
5bcf1ce3d6
Displaying failures as error nodes in the activation trace, navigate to the first failure. Minor fixes.
2016-04-04 16:03:36 +02:00
4d67bf4796
Automatically updated file after having opened the project with the latest build.
2016-03-18 19:22:26 +01:00
9706f4342a
Support trying/reject trace events in the activation trace. Some code cleanup.
2016-03-17 19:06:13 +01:00
a934b27442
Drop obsolete methods in EvaluationTrace. Some code cleanup.
2016-03-17 12:12:57 +01:00
6d625ff6c5
Refactoring in the reactor API:
...
- PredicateFactory, Solver
- new EvaluationTrace interface,
- new ask/tell protocol
- get rid of unwanted dependency between API packages.
Updated memreactor lib.
2016-03-16 16:28:59 +01:00
12ac59f596
Override toString() in MetaLogical, avoid unnecessary computations in the reactor trying to build symbol identity
2016-03-11 21:45:58 +01:00
45b9c37b94
Update memreactor, unification lib and add dexx collections lib to the "atom" solution.
2016-03-11 21:45:58 +01:00
ed30bbeb42
Get rid of LogicalExt and all its usages
2016-02-24 11:14:01 +01:00
b6777382af
Switch to using SNodeReference instead of SNodeID in anchors. Minor refactoring in utils. Fix type checking of logical values.
2016-02-18 11:46:24 +01:00
4e476ba214
Newest revision of memreactor. Latest Kotlin RC.
2016-02-11 16:53:33 +01:00
2635bfde4a
Make Meta*Logical a class. Get rid of ProgramBuilder, also in the typechecking templates API.
2016-01-29 16:32:32 +01:00
c9f7790185
Refactoring in the reactor API: LogicalPattern renamed to MetaLogical. MetaLogicalFactory introduced. NamedContext moved to internal API.
2016-01-29 16:17:51 +01:00
ba74ebc591
Moving ProgramBuilder and RuleBuilder to the internal API
2016-01-29 16:17:50 +01:00
8eea7a83a2
Migrate to MPS 3.3.1. Fix missing import.
2016-01-26 12:48:11 +01:00
e00e29e1b1
Support "list" logical variables as logical<ListFunc>
2016-01-26 09:40:23 +01:00
dc4afd9c9c
Switch to Kotlin 1.0.0 RC
2016-01-26 09:03:59 +01:00
5884dba931
Dumping profiling data as info messages at the end of a session
2016-01-26 09:03:59 +01:00
9772a7a587
Moving models around a bit for better project structure.
2016-01-26 09:03:58 +01:00
a5c2471a3a
Switch to using jar for the unification lib
2016-01-26 09:03:58 +01:00
4815de6d40
Switch to using MemReactor for typechecker. Updated the API and core lib.
2016-01-26 09:03:19 +01:00
Fedor Isakov