Lambda-Prolog lecture notes

Readings

• Read the tutorial which explains the differences between Lambda-Prolog and Standard Prolog. Don't mind the logical mumbo-jumbo like "hereditary Harrop formulae"; the ideas are not difficult, just shrouded.
• There are some extra papers here.
• Tour the Logic Home Page.

Treasure hunt!

Yield of the treasure hunt