Tags: Programming Language.

Gödel is a general-purpose declarative programming language based on one of the four main programming paradigms namely logic programming. It was developed by Patricia M. Hill and John W. Lloyd. Basic ideas and features of Gödel are mainly taken from Prolog language. It is named in honour of logician Kurt Gödel although the acronym ‘God’s Own DEclarative Language’ is sometimes used.Gödel is a strongly typed system based on many-sorted logic with parametric polymorphism.

Loading...

This page contains content from the copyrighted Wikipedia article "Gödel (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.