Download E-books The Gödel Programming Language (Logic Programming) PDF

By Patricia Hill

Gödel is a brand new, general-purpose, declarative programming language that's according to the paradigm of good judgment programming and will be considered as a successor to Prolog. This e-book provides an educational review of Gödel, offers instance courses, offers a proper definition of the syntax and semantics of the language, and covers history fabric on logic.

The Gödel language helps varieties and modules. It has a wealthy choice of approach modules and gives constraint fixing in numerous domain names. It additionally deals metalogical amenities that supply major help for metaprograms that do research, transformation, compilation, verification, debugging, and so forth. The declarative nature of Gödel makes it like minded to be used as a instructing language, narrows the distance that at present exists among thought and perform in common sense programming, makes attainable complex software program engineering instruments similar to declarative debuggers and compiler turbines, reduces the hassle fascinated with supplying a parallel implementation of the language, and gives large scope for parallelization in such implementations.

Logic Programming series

Show description

Read or Download The Gödel Programming Language (Logic Programming) PDF

Similar Software books

Additional resources for The Gödel Programming Language (Logic Programming)

Show sample text content

Rated 4.36 of 5 – based on 16 votes