Lambda the Ultimate

Hi

I'm quite new to logic programming and I'm in the process of understanding logical frameworks. Do logical frameworks allow us to use the same unification algorithm at both object and meta levels? If so, what benefits are there? I'm looking for a HO language that supports HOAS; is Twelf and lambda prolog (though it is no longer maintained) the best candidates? How about a language called HiLog? Any other info will be much appreciated.

Sun Labs has rewritten the Morphic user interface from Self and Squeak to run under Javascript in web browsers with strong SVG support.

Branded, Lively Kernel, the system features:

• Small web programming environment and computing kernel, written entirely with JavaScript. In addition to its application execution capabilities, the platform can also function as an integrated development environment (IDE), making the whole system self-contained and able to improve and extend itself on the fly.
• Programmatic access to the user interface. Our system provides programmatic access from JavaScript to the user interface via the Morphic user interface framework. The user interface is built around an event-based programming model familiar to most web developers.
• Asynchronous networking. As in Ajax, you can use asynchronous HTTP to perform all the network operations asynchronously, without blocking the user interface.