Rule Based Programming with Constraints and Strategies

We present a framework for Rule Based Programming with Constraints and Strategies. It is implemented in the ELAN language, that provides an environment for specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon th...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dubois, Hubert, Kirchner, Héléne
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems: hardware, operating systems, computer languages and utilities Computers in experimental physics Constraint Satisfaction Problem Constraint Solver Exact sciences and technology Instruments, apparatus, components and techniques common to several branches of physics and astronomy Local Constraint Operational research and scientific management Operational research. Management science Operational Semantic Physics Planning. Forecasting Programming languages Programming theory Software Structure Object Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!