- Home
- Computer
- Programming
- Informal introduction to Starlog
Computer · Programming
Informal introduction to Starlog
Listed in the directory · updated 20 Jul 2022
About Informal introduction to Starlog
Informal introduction to 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.