Web Directory

    Top: Computers: Programming: Languages: Logic-based:

 

Starlog

  Link Details for: Starlog
Link Title: Starlog Open in a new window
Link URL: http://www.cs.waikato.ac.nz/Research/starlog/index.html
Link Details: 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.
Category: Top : Computers : Programming : Languages : Logic-based
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Starlog