Prolog temporal-logic

Open-source Prolog projects categorized as temporal-logic | Edit details

Prolog temporal-logic Projects

  • GitHub repo Phenesthe

    'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.

    Project mention: `Phenesthe' a system for the representation and processing of instantaneous and durative temporal phenomena | reddit.com/r/prolog | 2021-09-09
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-09-09.

Prolog temporal-logic related posts

Index

Project Stars
1 Phenesthe 10
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms