From 0003e1c7f3cd62605bd33b141b0311a4c72d4443 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 11 Jun 2014 09:45:47 -0700 Subject: [PATCH] Published with https://stackedit.io/ --- reactor/README.md | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 reactor/README.md diff --git a/reactor/README.md b/reactor/README.md new file mode 100644 index 00000000..4ba2c037 --- /dev/null +++ b/reactor/README.md @@ -0,0 +1,39 @@ +Unification +=========== + +This small package contains a Java implementation of a "near linear" time syntactic unification algorithm.[^uni] + +In order to make use of the API one must implement two interfaces: + + Term + Var + +These are used by the algorithm to analyze the syntax graph. + +The results are provided in the form of variable bindings. On successful unification, the algorithm returns the solution in a triangular form. + +Some javadoc can be found [here] [1]. + +License +------- + +Copyright 2014 JetBrains s.r.o. + +Licensed under the Apache License, Version 2.0 (the "License"); +you may not use this file except in compliance with the License. +You may obtain a copy of the License at + +http://www.apache.org/licenses/LICENSE-2.0 + +Unless required by applicable law or agreed to in writing, software +distributed under the License is distributed on an "AS IS" BASIS, +WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +See the License for the specific language governing permissions and +limitations under the License. + +> Written with [StackEdit](https://stackedit.io/). + + [^uni]: Baader, Franz, and Wayne Snyder. "Unification Theory." Handbook of automated reasoning 1 (2001): 445-532. + + [1]: http://../doc/index.html + \ No newline at end of file