I can't fathom how a networking stack or GUI framework would be written in Prolog itself (assuming some basic primitive access to the machine were available to

I can't fathom how a networking stack or GUI framework would be written in Prolog itself (assuming some basic primitive access to the machine were available to the interpreter). Everything besides logical inference and deduction would have to be written as foreign bindings. Whichever implementation of Prolog I've used had basic arithmetic in it. This begs the question: why not go the other way and use Prolog as an embedded DSL in another language? Racklog and Datalog[1] demonstrate this is possible and rather useful. Then you have the benefits of Prolog inside another language which can do ... stuff. And if I ever succeed, perhaps you could have Answer Set Prolog embedded in your code too and solve NP-complete search problems declaratively. But this isn't a plug. [1]: http://docs.racket-lang.org/racklog/ http://docs.racket-lang.org/racklog/