Constraint logic programming languages
Communications of the ACM
Languages for developing user interfaces
Languages for developing user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Parameter passing and control stack management in Prolog implementation revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
Easily adding animations to interfaces using constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A high-level intermediate language and the algorithms for compiling finite-domain constraints
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
The Haskell school of expression: learning functional programming through multimedia
The Haskell school of expression: learning functional programming through multimedia
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint-based document layout for the Web
Multimedia Systems - Special issue: Multimedia authoring and presentation techniques
iML: a logic-based framework for constructing graphical user interface on mobile agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Hi-index | 0.00 |
CGLIB is a high-level graphics library for B-Prolog, a constraint logic programming system. The library provides primitives for creating and manipulating graphical objects and a set of constraints including non-overlap, grid, table, and tree constraints that facilitates the specification of the layouts of objects. The library adopts a construct called action rules available in B-Prolog for creating agents and programming interactions among agents or between agents and the user. The library is a fully working system implemented in B-Prolog, Java and C. It can be used in many areas such as drawing editors, interactive user interfaces, document authoring, animation, information visualization, intelligent agents, and games. The high-level abstraction of the library and the use of constraints and action rules in the specification of layouts and behaviors can significantly enhance the productivity of the development of graphics. We demonstrate through several examples the effectiveness of the library as a tool for developing graphics-rich and interactive user interfaces.