ACE Logic Calculator (with Programming Mode)
makertube.net
Repo: https://github.com/bluebbberry/Pocket-Inferer
  • Paragone@lemmy.worldEnglish
    1·
    8 days ago

    so this is essentially SWI-Prolog ( available in Ubuntu ) with a NICE interface?

    ( there are a couple books on learning prolog, and 1 of them is good…

    I’ll dig it up for you…

    “Adventure in Prolog”

    with that & SWI-Prolog, it becomes learnable.

    It’s … kinda a dry persuit, though … )

    _ /\ _