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

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"
}