Logic Programming and Functional Nets

This page is under construction.

It will have details of work on giving semantics to, and implementing, logic programming in Odersky's functional nets.

Here is the presented version at WFLP'00.

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