Publication Details

The Module System in the Godel Logical Programming Language

ZBOŘIL František ml.. The Module System in the Godel Logical Programming Language. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 270-272. ISBN 80-7204-115-X.
English title
The Module System in the Godel Logical Programming Language
Type
conference paper
Language
czech
Authors
Zbořil František ml., Ing. (DCSE FEECS BUT)
Keywords

Declarative Systems, Module Approach

Abstract

The charge of the text is an introduction of a module based approach in the Goedel language. First the language is introducted along with the declarations and inference principles and then the modules building and their usage is described.

Published
2000
Pages
270-272
Proceedings
Sborník prací studentů a doktorandů
Conference
Student Conference STC2000 FEI VUT Brno, Brno, CZ
ISBN
80-7204-115-X
Publisher
Akademické nakladatelství CERM
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB6576,
   author = "ml. Franti\v{s}ek Zbo\v{r}il",
   title = "The Module System in the Godel Logical Programming Language",
   pages = "270--272",
   booktitle = "Sborn\'{i}k prac\'{i} student\r{u} a doktorand\r{u}",
   year = 2000,
   location = "Brno, CZ",
   publisher = "Akademick\'{e} nakladatelstv\'{i} CERM",
   ISBN = "80-7204-115-X",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/6576"
}
Back to top