Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Starlog

cs.waikato.ac.nz
Visit Site

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
Logic-based
Visits
158
Added
Sep 20, 2024
Rating
(132)
Rate This Site
More in Logic-based Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
The Maude System 467 visits
Logic-Based Systems Lab 460 visits
Imperial College London: Logic and Artificial Intelligence 438 visits
Kiev: Java compiler with logic extensions 437 visits
DBLP: Logic Programming 432 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day
Get the best links delivered weekly — hand-picked from 2,999,517 resources