How would I get into formal logic, like AI, Prolog, etc.
-
-
and I'm finishing up an alpha of a simpler but faster logic programming language (also for unity).
-
By the way, have you read this? https://twitter.com/korkyplunger/status/525326773563973632 … It feels related.
- 1 more reply
New conversation -
-
-
and version 1 is you add the ability to specify rules for queries for specific predicates.
-
Thank you! That will help me search in a more concrete direction :)
End of conversation
New conversation -
-
-
I've got a Prolog that runs in unity if you want to kick the tires on it.
-
I won’t get to that stage for a while (busy with an international move) but I’ll keep it in mind, thank you!
End of conversation
New conversation -
-
-
that's easy; you just need unification and backtracking.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
for example, accessible(X) if in(X, Container), unlocked(Container). That basically says accessible is a subroutine
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
and when you call it, you subgoal, (recursively query) the right hand side of the rule.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.