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.

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)