Result 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.
Type
conference paper
Language
Czech
Authors
Zbořil František, doc. Ing., Ph.D., FEEC (FEEC)
Abstract

Náplní textu je popis modulárního přístupu k implementacideklarativních systému v jazyce Goedel. Nejprve je ukázán způsobdeklaraování a odvozování v jazyce Goedel a dále je ukázán způsobvytváření modulů v tomto jazyce.

English 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.

Keywords

Deklarativní systémy, Modulový přístup

English keywords

Declarative Systems, Module Approach

Published
2000
Pages
270–272
Proceedings
Sborník prací studentů a doktorandů
Conference
Student Conference STC2000 FEI VUT Brno
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"
}
Departments
Faculty of Information Technology (FIT)
Back to top