Logic programming for JavaScript.