Transformace logických programů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

—

Číslo smlouvy

—

Název projektu anglicky

Transformations of logic programs

Anotace anglicky

The goal of the project is to study transformations of logic programs including programs with built-in predicates, with emphasis on automatic methods of transformations. We propose to explore influence in global information about programs on transformations and to work on techniques of program representation. Suggested stransformations will be implemented in a software prototype.

Kategorie VaV

—

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

JC - Počítačový hardware a software

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Přínos projektu je jednak v teoretické rovině, jednak tvorbou 'on-line guides'. V oblasti teoretické je to efektivní implementace konstruktivní negace v logických programech, algoritmus pro řešení mezihierarchického porovnání v HCLP, transformace logický

Zahájení řešení

1. 1. 1996

Ukončení řešení

1. 1. 1998

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP/1999/GA0/GA09GA/V/6:6

Datum dodání záznamu

—

Celkové uznané náklady

802 tis. Kč

Výše podpory ze státního rozpočtu

546 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč