Detail publikačního výsledku

The Module System in the Godel Logical Programming Language

ZBOŘIL, F.

Originální název

The Module System in the Godel Logical Programming Language

Anglický název

The Module System in the Godel Logical Programming Language

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

Declarative Systems, Module Approach

Autoři

ZBOŘIL, F.

Vydáno

01.01.2000

Nakladatel

Akademické nakladatelství CERM sro.

Místo

Brno

ISBN

80-7204-115-X

Kniha

Sborník prací studentů a doktorandů

Strany od

270

Strany do

272

Strany počet

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