Twitter | Search | |
Ian Horswill
180
Tweets
85
Following
292
Followers
Tweets
Ian Horswill 2 Apr 18
Replying to @IADaveMark
So happy to hear from you! Hope you're up and around soon!
Reply Retweet Like
Ian Horswill 21 Aug 17
Agreed. is a brilliant researcher. She's the sort of person you dearly hope will be attending your conference.
Reply Retweet Like
Ian Horswill 9 Apr 17
Replying to @recardona @UtahSoC
Congrats!
Reply Retweet Like
Ian Horswill 29 Mar 17
Replying to @ayman
Should have known. How foolish of me!
Reply Retweet Like
Ian Horswill 29 Mar 17
It's clearly time to do a Kickstarter to buy the browser histories of all the congresspeople who voted to let ISPs sell your browser history
Reply Retweet Like
Ian Horswill retweeted
AltUSNatParkService 18 Mar 17
Reply Retweet Like
Ian Horswill retweeted
Chris Klimas 9 Feb 17
If we had Basic Income, you'd be using Twine 3.6.1 right now.
Reply Retweet Like
Ian Horswill retweeted
PHD Comics 22 Jan 17
Reply Retweet Like
Ian Horswill 6 Jan 17
Cool! I'll check it out!
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
and I'm finishing up an alpha of a simpler but faster logic programming language (also for unity).
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
I've got a Prolog that runs in unity if you want to kick the tires on it.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
and when you call it, you subgoal, (recursively query) the right hand side of the rule.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
for example, accessible(X) if in(X, Container), unlocked(Container). That basically says accessible is a subroutine
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
and version 1 is you add the ability to specify rules for queries for specific predicates.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
that's easy; you just need unification and backtracking.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
If you want to do queries like that, then version zero is conjunctions of predicates that share variables.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
that's probably the single biggest step up in expressivity. But it makes reasoning more complicated/expensive.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
that is, instead of tags for havekey and haveamulet, have one predicate, have(X)
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @jurieongames @rzubek
version zero of that would be that predicate/argument structure is your friend.
Reply Retweet Like
Ian Horswill 6 Jan 17
Replying to @rzubek @jurieongames
so the question is what you want to do.
Reply Retweet Like