Publication result detail

The Module System in the Godel Logical Programming Language

ZBOŘIL, F.

Original Title

The Module System in the Godel Logical Programming Language

English Title

The Module System in the Godel Logical Programming Language

Type

Paper in proceedings outside WoS and Scopus

Original 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

Key words in English

Declarative Systems, Module Approach

Authors

ZBOŘIL, F.

Released

01.01.2000

Publisher

Akademické nakladatelství CERM sro.

Location

Brno

ISBN

80-7204-115-X

Book

Sborník prací studentů a doktorandů

Pages from

270

Pages to

272

Pages count

3

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