Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Zbořil František, doc. Ing., Ph.D., FEKT (FEKT)
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.

Abstrakt anglicky

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 anglicky

Declarative Systems, Module Approach

Rok
2000
Strany
270–272
Sborník
Sborník prací studentů a doktorandů
Konference
Student Conference STC2000 FEI VUT Brno
ISBN
80-7204-115-X
Vydavatel
Akademické nakladatelství CERM sro.
Místo
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"
}
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru