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
Read or Download The Gödel Programming Language (Logic Programming) PDF
Similar Software books
This is often an instance product description.
No writing in e-book. No DJ. Non-smoking proprietor.
Additional resources for The Gödel Programming Language (Logic Programming)