c21df9b8a2
Migrated to the latest MPS build.
2016-10-31 10:03:31 +01:00
b03e8578e5
Resave all models containing obsolete resolve info. Fix all mentions of the old api class.
2016-09-17 14:57:55 +02:00
414a60fffc
Moving the reactor API to the separate project.
...
Switch to java_stub models for the reactor api.
2016-09-01 11:03:35 +02:00
4b6ac48a41
Merging TreeForm model into the reactor solution.
...
Move unification lib tnd treeform api model to reactor solution.
Remove obsolete solution.
2016-09-01 11:03:35 +02:00
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
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
6c8d9bbb30
Fix broken model import
2016-08-05 13:40:04 +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
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
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
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
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
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
26771a5d91
Updated to the latest memreactor revision
2016-01-26 09:03:19 +01:00
915159153d
Attempting to integrate memreactor
2016-01-26 09:03:19 +01:00
0fc0d45f96
Refactoring creation of concrete occurrence/invocation arguments.
2016-01-19 12:29:42 +01:00
bca5d4183a
Moving union/mergeObservers logic from *Solver to Logical. Updated the API accordingly.
2016-01-09 01:54:22 +01:00
453c50b159
Introducing ProgramBuilder: a factory of programs/constraints/predicates.
...
Switch to indirectly creating conjuncts in rule templates.
Re-packaging API and runtime classes.
2016-01-06 19:18:01 +01:00
02f1e8c258
Moving predicate definitions to the reactor API. Cleaning up the unwanted dependencies in the API.
2016-01-05 14:46:28 +01:00
c4ac5398db
Extracting the logical solvers to reuse in the abstract reactor
2016-01-05 14:46:28 +01:00
d21ea0ff66
Fix compilation problems. Fix bad dependency. Removed StringLogical.
2016-01-05 12:31:14 +01:00
86ee83c53f
Getting rid of StringLogical.
2016-01-05 12:31:13 +01:00
ba0475567e
Refactoring the solvers implementation: extracting the reusable predicate solvers, delegating observers-related stuff to SolverLogical
2016-01-04 20:04:00 +01:00
90f337d2f3
Fix the JavaExpressionPredicate's cardinality in the APR form.
2015-12-28 17:04:47 +01:00
Fedor Isakov