Constraint and declarative languages for engineering applications: The TK!Solver contribution

  title={Constraint and declarative languages for engineering applications: The TK!Solver contribution},
  author={M. Konopasek and S. Jayaraman},
  journal={Proceedings of the IEEE},
  • M. Konopasek, S. Jayaraman
  • Published 1985
  • Computer Science
  • Proceedings of the IEEE
  • The rapid proliferation of personal computers has brought a new class of users, the so-called non-computer professionals, into the world of computing. These users are typically well versed in their respective professions, such as engineering, science, financial analysis, teaching, and research, but may lack the programming skills necessary to take full advantage of the power of computers. They would like to communicate with the computer in their "natural" language, viz., relationships… CONTINUE READING
    29 Citations
    CLP(ℜ) and some electrical engineering problems
    • 37
    Graphically Defining New Building Blocks in Thinglab
    • 30
    TclSolver: An Algebraic Constraint Manager for Tcl
    • K. Kenny
    • Computer Science
    • Tcl/Tk Workshop
    • 1996
    Constraint-Based Tools for Building User Interfaces
    • 236
    Equate: An Object-Oriented Constraint Solver
    • 11
    Instructional use of declarative languages for the study of machine transients
    • 19
    • PDF
    The CLP( R ) language and system
    • 672


    Machine Tongues X: Constraint Languages
    • 18
    Knowledge-Based Expert Systems
    • 118