Logic Programming and Functional Nets

This page is under construction.

It was planned to have details of work on giving semantics to, and implementing, logic programming in Odersky's functional nets. Now it serves as an archive of the paper and prolog interpreter.

Here is the presented version at WFLP'00.

Here is the original 200-line C++ prolog interpreter and example run.

Here is an updated version for modern C++.