Gödel (programming language): Difference between revisions

Revision as of 17:57, 7 May 2013

Revision as of 03:33, 9 May 2013

Line 45:

Declarative programming is much more concerned with expressing the logic of a computation without describing its control, i.e. describing what the program should do, rather than describing how (that is the control part) it should be computed. Logical sentences can also be understood procedurally as goal-reduction procedures (also known as routines, subroutines, methods, or functions) with well set series of computational steps to be carried out. The Gödel programming language is not a procedural language. Although, the main advantage of the procedural semantics is portability, so that one could port a program from one implementation to another and be confident of identical behaviour of the program in the two systems, Gödel's procedural open semantics gives more freedom to handle it by programmers and adapt resulting programs to special project requirements; the programmer can use the known behaviour of the program executor to develop a procedural understanding of his program. This may be helpful when seeking better execution speed.

[[Prolog]], [[HTML]], [[SQL]] together with Gödel rank among [[declarative programming]] languages, while [[C/C++]], [[Fortran]] and [[Pascal (programming language)|Pascal]] are examples of [[procedural programming languages]].

== Gödel specifications ==

Line 228:

<ref name=Hill>{{cite web|last=Hill|first=Patricia M.|title=Home page of Patricia Hill|url=http://www.cs.unipr.it/~hill/}}</ref>

<ref name=Lloyd>{{cite web|last=Lloyd|first=John W.|title=Home page of John W. Lloyd|url=http://users.cecs.anu.edu.au/~jwl/}}</ref>

<references /references>

{{DEFAULTSORT:Godel (programming language)}}