How would I get into formal logic, like AI, Prolog, etc.
-
-
Replying to @JurieHorneman @jurieongames
Paging
@ianhorswill to a conversation about Prolog and games... :)1 reply 0 retweets 1 like -
Replying to @rzubek @jurieongames
depends in part on what you want to learn. Learning Prolog hacking is straightforward but takes some time.
3 replies 0 retweets 0 likes -
so the question is what you want to do.
2 replies 0 retweets 0 likes -
Replying to @ianhorswill @rzubek
I am not quite sure yet. A better way of representing knowledge than just opaque tags?
3 replies 0 retweets 0 likes -
that's probably the single biggest step up in expressivity. But it makes reasoning more complicated/expensive.
3 replies 0 retweets 1 like -
Replying to @ianhorswill @rzubek
So far I’ve been working with tags (hasTag blah) and variables (daysPassed > 20).
1 reply 0 retweets 0 likes -
If you want to do queries like that, then version zero is conjunctions of predicates that share variables.
6 replies 0 retweets 1 like
and I'm finishing up an alpha of a simpler but faster logic programming language (also for unity).
-
-
Replying to @ianhorswill @rzubek
Jurie Horneman Retweeted Christopher Kline
By the way, have you read this? https://twitter.com/korkyplunger/status/525326773563973632 … It feels related.
Jurie Horneman added,
1 reply 0 retweets 1 like -
@korkyplunger Cool! I'll check it out!0 replies 0 retweets 2 likes
End of conversation
New conversation -
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.