hitchhicker prolog (hhprolog) wiki home

Welcome to the hitchhicker-prolog wiki!

I will try to keep track here of sparse thoughts that will become - maybe - implementations. So, first a bird's eye on this project.

I want to build a pure Prolog usable with ease in Javascript, with first class (read easy) interfacing of awesome JS APIs available, merging declarative Prolog and declarative parts of Web technologies:

• HTML5 (DOM, Ajax)
• CSS
• WebGL, a-Frame

Also, I envisioned a not-so traditional Prolog source presentation (and editing). Rules (predicates and facts) will be rendered by means of simple graphs, and presentation attributes will play the role of syntax qualifiers. Spatial containment placement will play for scope, and colors for identity.

The representation will be computed directly in hhprolog (ASAP I've extended the virtual machine that prof. Paul Tarau has kindly described and implemented in Java).

Prolog, I feel, it's a language a bit apart from the mainstream landscape. Nevertheless, there are giant implementations, and I follow with great interest every advancement in SWI-Prolog, and more generally in languages like Logtalk, Picat, .... There are bigger and smaller Prolog systems freely available, so because I dare to implement another solver ?

Just for love of Prolog, my preferred language.