Home >
domains >
www.cs.waikato.ac.nz
Starlog
Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a set of timed facts, a set of temporal logic rules. Somewhat like Prolog.
|
Keyword |
Results for this URL |
Total searches |