hihord / hope

Welcome to the homepage of hihord and hope.

This site requires a fully CSS2 compliant and PNG-aware browser like Mozilla in order to display correctly. Please note that Internet Explorer will not render the pages correctly. Have fun and enjoy!

The whole site is dedicated to two of my projects:

hihord: an implementation of a higher order logical programming language, based on datalog. It is an experimental system using a bottom-up approach to goal solving, which (at least in its present form) is not very efficient.

hope: an implementation of a richer logical programming language, also based on datalog. Hope uses a top-down proof procedure which we believe is sound, complete, and extremely practical (fast).