Publication Details

The Module System in the Godel Logical Programming Language

ZBOŘIL, F. The Module System in the Godel Logical Programming Language. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 270-272. ISBN: 80-7204-115-X.

English title

Type

conference paper

Language

Czech

Authors

Zbořil František, doc. Ing., Ph.D. (DITS)

Keywords

Declarative Systems, Module Approach

Abstract

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

Published

2000

Pages

270–272

Proceedings

Sborník prací studentů a doktorandů

Conference

Student Conference STC2000 FEI VUT Brno, Purkyňova 118, FEI VUT, Brno, CZ

ISBN

80-7204-115-X

Publisher

Akademické nakladatelství CERM sro.

Place

Brno

BibTeX

@inproceedings{BUT193869,
  author="František {Zbořil}",
  title="The Module System in the Godel Logical Programming Language",
  booktitle="Sborník prací studentů a doktorandů",
  year="2000",
  pages="270--272",
  publisher="Akademické nakladatelství CERM sro.",
  address="Brno",
  isbn="80-7204-115-X"
}