Hacker News new | ask | show | jobs
Looking for an official extension of Temporal Prolog
6 points by youio 415 days ago
I'm looking for an official extension of prolog that has temporal logic