| Tweets |
|
Ian Horswill
@ianhorswill
|
2 Apr 18 |
|
So happy to hear from you! Hope you're up and around soon!
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
21 Aug 17 |
|
Agreed. @gillianmsmith is a brilliant researcher. She's the sort of person you dearly hope will be attending your conference. twitter.com/MatthewGuz/sta…
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
9 Apr 17 |
|
Congrats!
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
29 Mar 17 |
|
Should have known. How foolish of me!
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
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
|
||
|
|
||
| Ian Horswill retweeted | ||
|
AltUSNatParkService
@AltNatParkSer
|
18 Mar 17 |
|
RETWEET: pic.twitter.com/9L0br4TW9j
|
||
|
|
||
| Ian Horswill retweeted | ||
|
Chris Klimas
@klembot
|
9 Feb 17 |
|
If we had Basic Income, you'd be using Twine 3.6.1 right now. twitter.com/emshort/status…
|
||
|
|
||
| Ian Horswill retweeted | ||
|
PHD Comics
@PHDcomics
|
22 Jan 17 |
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
@korkyplunger Cool! I'll check it out!
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
and I'm finishing up an alpha of a simpler but faster logic programming language (also for unity).
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
I've got a Prolog that runs in unity if you want to kick the tires on it.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
and when you call it, you subgoal, (recursively query) the right hand side of the rule.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
for example, accessible(X) if in(X, Container), unlocked(Container). That basically says accessible is a subroutine
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
and version 1 is you add the ability to specify rules for queries for specific predicates.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
that's easy; you just need unification and backtracking.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
If you want to do queries like that, then version zero is conjunctions of predicates that share variables.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
that's probably the single biggest step up in expressivity. But it makes reasoning more complicated/expensive.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
that is, instead of tags for havekey and haveamulet, have one predicate, have(X)
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
version zero of that would be that predicate/argument structure is your friend.
|
||
|
|
||
|
Ian Horswill
@ianhorswill
|
6 Jan 17 |
|
so the question is what you want to do.
|
||
|
|
||