Content deleted Content added
revert to last version before massive copyright violation |
m link some technical terms |
||
Line 19:
}}
'''Gödel''' is a [[Declarative programming|declarative]], general-purpose [[programming language]] that adheres to the [[Logic programming|logic]] [[programming paradigm]]. It is a [[strongly typed language]], the type system being based on [[many-sorted logic]] with [[parametric polymorphism]]. It is named after logician [[Kurt Gödel]].
==Features==
| |||