Description: Goedel descriptive language is a logic programming language. Based on the language of the first order logic, the introduction of a multi-state more of the types of systems and a variety of new language elements. support abstract data types and modular programming techniques, the language itself has a very strong illustrative semantics. Details on the type of language Goedel system and its structure, right in logic programming language introduced type of system the role of in-depth analysis and discussion. [
To Search:
- [EMtec] - EM tech to teach you zbout EM
- [gshjsq] - formula system formula system formula sy
File list (Check if you may need any files):