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 when you call it, you subgoal, (recursively query) the right hand side of the rule.
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.