SITE RECOMMENDATIONS 
Gödel Tutorial - A rather brief "tutorial" from Walla Walla

Gödel - Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism.

Goedel with Parametrised Modules - An experimental Gödel with Generic (Parametrised) Modules

RELATED CATEGORIES 
Computers/ Programming/ Languages/ Logic-based_Languages (14)

Category Editors
jerryobject

Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

Try a search for "goedel" on:
HotBot Web Search | Lycos | more ...

About Us | Advertise | Jobs | Privacy Policy | Feedback | Help

Copyright © 1994-2000 Wired Digital Inc., a Lycos Network site. All rights reserved.

Some portions of the Open Directory made available on HotBot have been modified.