Metalogic, Inc
A Independent Software Developper
Product Information
* A New Technology for Sale !! *
A Multi-way Constraint Computational Model with
Purple Constraint Solver for Direct Execution of the Specification.
This is a new multi-directional programming model for practical many programs like the business systems, WEB systems, service solutions, etc.
It is realize to automatic programming easily.
The patent issued or applied in worldwide countries.
This is a base technology.
The paper is
here (http://arxiv.org/abs/1105.0322).
1. What is this ?
Complete correspondence of the design and the program code can be achieved in highly effective (equal to the procedural programming) by a simple method.
Consequently, automatic programming can be easily done.
For instance, the operation of the following expressions can be
achieved by the operator definition of object oriented programming
artificially and ideally.
html = "<HTML><BODY>" + header + "<BR>" + data[1..n] + "<BR>" + footer + "</BODY></HTML>";
"=" is an equation of the comparison. There are a lot of expressions
(It is called the constraint according to the term of the constraint programming) usually.
When the variable changes by an outside event, only the relating
expression is executed, and put into the state that the expression is
sure to hold at least.
The referred variable might be a data base, and might be an external interface on parts and networks of GUI.
Various functions and special operators can be used,
and all functions of general programming language can be used.
It is possible to combine with a database and conventional programming
language, it is possible to execute by describing the design of the
business system as it is, and it always operates by the shortest route.
The important point are two points, and it exists in point "Shortest route" and "There is no mathematical limitation in the description of the expression and the function that freely does the programming can be used".
It is a point without highly effective and the description limitation where this is different from conventional constraint programming.
In this method, the search when preprocessing and executing it doesn't exist either.
Only the described expression deflecting is executed at least.
That is, when it is necessary to process the expression of n to the problem solving, computational complexity is O(n) in simplicity.
Time necessary for the solution of each expression is high-speed treatable at a speed near the expression of the procedural programming language.
The programmer had done the programming creative up to now by a lot of software developments because this was not able to be achieved.
2. Applicatable Fields
Business systems, WEB systems, GUI, User Interfaces,
Service Solutions, Large-scale network system, etc.
* It can build in by modulating the program of a structure not suitable, and is useful as the interface between modules.
3. Comparison with existing technology
The method that describes the program by such an expression and solves it is classified as a kind of the constraint programming.
As operation, it means the equation is single-mindedly solved so that
the expression may consist, and this mechanism is called a constraint solver.
Especially, it has the structure that the local propagation in that looks like.
The constraint solver is classified as color spectrum in the document[*1].
It can be understood that it is a constraint solver that the blue incremental solver is the simplest even if it is not a specialist from this document.
There is essentially no one that is simpler than this though there are some a few updated versions.
The necessity was common sense to solve the problem of something by
the constraint programming.
It require more than the blue constraint solver.
However, it is a reason for this to make the problem that should be heuristically solved assumption.
A special usage was excluded, and it was never never applied to a general application in a complex mechanism.
The point to require all the constraint solver more than blue is
different from this method though there are some such researches, too
and the patent was exist.
However, because the majority of practicable applications have the
said feature when given when the problem solving method designs, the
application can be described, and complete correspondence of the
design and the program code can be achieved an extremely simple
mechanism (We called the purple constraint solver).
There is actually no creative work like conventional programming work
because the program corresponds to the design as it is though this
will solve the solving operation of the constraint solver by the programming.
The constraint programming is a representative of declarative
programming as well as a logical programming etc.
However, the declared character is non declarative programming when
seeing from the point of programming though is maintained.
As for this, the concept and the assumption of conventional constraint programming are different.
In addition, this means the Multi-way constraint programming.
The point of Multi-way is world first.
4. Why is the impossible possible?
1) It is in attention to the feature of the application to which it
has not paid attention up to now, and the proposal of a new
classification.
In the document[*2], such a classification exists since before and is
common sense though the application is classified into the batch
application and the imperative application.
However, a new classification of the data operational application and
the computational application was introduced in this method.
The business system can be classified as a data operational
application, and the purple constraint solver can say the constraint
solver made for this purpose though the data operational application
is an application as its name suggests based on data processing.
It says clearly.
This targets the programming that takes time, and can be solved according to the number of men as difficult knowledge the understanding is unnecessary.
The majority of the program development needed in the world has such a character.
2) As the expression, the expression that doesn't limit not a special
mechanism like the first-order logic or term rewriting system, etc.
It use the transform and evaluate the expression[*3] like the general procedural programmings.
The purple constraint solver doesn't need the guarantee[*4] at the
execution of the stop etc. because it need not interpret the order of solving the expression.
Therefore, because the meaning of the expression need not be
understood,
the procedural programming function and the expression are described and it is executable.
3) 2) is enhanced.
The function contains the condition branching such as if.
The function into which the meaning changes when executing.
In addition, it need not be a functional programming language, and
giving the control structure of the loop etc. besides the condition
branching as a function becomes possible when combining with the
functional programming language.
Therefore, it is not possible to say, and there is not a limitation
with the category of a general expression when the design is expressed
by the expression because the condition branching and the loop can be
described, and it can include such special processing in the function
either.
In addition, processing different depending on the direction can be
described in two-way and the multi-way.
It does substantially for the design method and complete though it
might be felt that automatic programming is not made.
There is no creative work.
The loop can be offered as a built-in function and an operator only by
needing it as operation somewhere because of work of adding and
matching the n variables.
It is that such an operation doesn't destroy correspondence with the
design method and either it is possible to describe it that it is
important.
The design can be described without the limitation because the
necessity is not in the purple constraint solver though it was
necessary to use the mechanism with the limitation to understand the
structure of the problem in the constraint programming.
It becomes possible to describe the relation of data by the expression
by the above-mentioned three mechanisms in the order of data's in the
design flowing, and it is possible to execute it surely as it is as a
result by the shortest route.
It is necessary to explain still.
4) Because most of the needed function becomes a simple string
operation and simple calculation in the data operational application,
it becomes highly reusable.
The calculation that the data operational application needs are only
the ultra simple addition or subtraction or string operation,
and doesn't include a difficult calculation.
Not being possible the current to achieve it by the above-mentioned
four reasons can basically achieve an easy mechanism.
In detailed one to the programming language, I think that whether it
moves backward is understood with the development of the programming
language.
However, this mechanism is not special.
If the business system and GUI are simply described by the expression,
it naturally becomes such a mechanism.
Therefore, the stereotype that the directionality of the development
of present software has is a cause when this cannot be understood, and
it is thought that there is a problem.
The point where the purple constraint solver was new was to have
constructed the computing model that operated the design as it was
with one without referring to a lot of computing models with results
based on the character of this kind of application.
Everyone was that the method of settlement of a simple system alone
that not was had remained untouched therefore though nobody tried to
research the base because it was not able to write the thesis in a
simple program like the business system because it was too
classic.
It is not because there is an unscientific gimmick like magic though
it is likely to feel like a pseudoscience as when it is heard only to
achieve it.
5. Available Resources
The mechanism to construct it is a typical large-scale computational application though this computing model is very simple. It is necessary for the product development with talent's at the laboratory level team for the development cost.
Notes:
*1 ... Freeman-Benson, B., Maloney, J. and Born-ing, A.:
An Incremental Constraint Solver, Commun. ACM, Vol.33, No.1,
pp.54-62 (1990).
*2 ... Zanden, B. V.:
An Active-Value-Spreadsheet Model for Interactive Languages.
In Languages for Developing User Interfaces, Brad Myers, ed.,
Jones and Bartlett Publishers, Boston, MA, pp.183-210 (1992).
*3 ...
The number as the element and the character of the operator are treated in the algebra of mathematics.
These are different though it is possible to treat also with software by similarly defining the number and the operator as the element.
The latter is not related though can treat algebra to an algebraic character.
"Constraint" of conventional constraint programming is the one to treat algebraic or the character to look like.
Therefore, it is the one quite different from conventional constraint programming though becomes a constraint programming because this is a programming method to straighten out that problem solving the expression.
Because the expression need not be algebraic,
it is unrelated to CSP(Constraint Satisfaction Problems).
*4 ...
The stop is made a problem without fail about this principle in the execution principle it that deviates from past common sense.
In a word, a wrong point of insufficiency is done from the common
sense of the blue constraint solver in the purple constraint solver,
and a right evaluation is not done.
Because the order of solving the constraint as long as the design is not wrong is correctly processed, it is not necessary as the execution principle.
Because it is not necessary to talk about the operation of the
debugger when talking about the execution principle of the programming
language, it explains originally only a little though it is not
necessary to touch.
There can be a necessity for detecting the stop as a mechanism for debugging.
However, there are a lot of simple, practicable packaging methods because it is unrelated to the mechanism of execution.
*5 ... "Do not you accept to the academic society where the authority exists?"
It is a fundamentally difficult except quality of the content problem that the thesis of the content that overturns common sense is adopted though challenged.
Moreover, it is a very difficult problem how to describe the content that differs from such conventional common sense little by little and moves backward as a treatise.
It is felt that it passes in this field of the academic society where
authorities exist most if the expression can be mended well.
Metalogic, Inc.
26-14, Toyotamaminami 3-chome, Nerima-ku, Tokyo, Japan. 176-0014
E-Mail: 
* There is no networks such as the Internet and cellular phones, and wait for the answer for one week, please.
Please contact me again when there is no answer.
It is likely to be buried in SPAM of many hundreds of a day.
* Please inquire the telephone number etc. directly.