Could ShapeLogic be used as a general declarative programming framework?
One of the main objectives for ShapeLogic is to make a good hybrid of Declarative programming and Object Oriented programming. This is not specific to image processing or computer vision. Since ShapeLogic 0.9 the lazy stream logic framework was implemented, so from then on it was possible that ShapeLogic would be applicable to other domains. This is not a priority for the current development effort. There are many approaches to declarative, object oriented hybrids. Here is a short list of of some of them: • JavaFX the new Java RIA. • Prova is a Java Prolog hybrid. • List Comprehension in Python and Haskell. • Microsoft LINQ • Hibernate and ORM tools • Drools: An open source RETE engine for the Java JVM. • OWL: Web Ontology Language.