abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 13:33 | IT novinky

    Ministerstvo dopravy uznalo prozatímní schválení asistenčního systému Tesla FSD Supervised vydané nizozemským schvalovacím orgánem RDW. Připojilo se tak k Nizozemsku a dalším pěti evropským státům. Systém je díky tomuto rozhodnutí možné používat za podmínek prozatímního schválení také na území České republiky. Tesla FSD Supervised je asistenčním systémem úrovně 2 podle klasifikace SAE (částečná automatizace řízení). Řidič se

    … více »
    Ladislav Hagara | Komentářů: 2
    dnes 11:22 | Upozornění

    Někteří zákazníci O2 mohou aktuálně zaznamenat zhoršenou dostupnost internetových služeb. Na odstranění potíží se pracuje [Facebook].

    Ladislav Hagara | Komentářů: 4
    dnes 01:22 | Nová verze

    PyPy (Wikipedie), tj. implementace Pythonu v RPythonu, alternativa CPythonu v C, byla vydána v nové major verzi 8.0.0. Podporuje Python 2.7, 3.11 a 3.12.

    Ladislav Hagara | Komentářů: 0
    dnes 00:22 | Komunita
    V rakouském Štýrském Hradci probíhá konference vývojářů a uživatelů desktopového prostředí KDE Plasma Akademy 2026. O víkendu proběhly přednášky. Videozáznamy jsou k dispozici na YouTube.
    Ladislav Hagara | Komentářů: 4
    včera 23:55 | Bezpečnostní upozornění

    V jádře Linux byly nalezeny a v upstremu ve verzích 5.10.270, 5.15.221, 6.1.188, 6.6.157, 6.12.109, 6.18.50 a 7.2.4 již opraveny 4 kritické zranitelnosti umožňující eskalaci práv: DirtyAH6 (CVE-2026-80844), TUNderflow (CVE-2026-81000), PPPoEject (CVE-2026-68121) a DiagSpill (CVE-2026-74469).

    Ladislav Hagara | Komentářů: 0
    včera 23:11 | Zajímavý článek

    Německá policie a celníci zneužívají ke čtení zpráv komunikačních aplikacích WhatsApp, Signal, Telegram nebo Threema velice jednoduchý trik, který nevyžaduje prolomení šifrování, spear phishing, odposlech SMS či jinou technicky náročnou metodu. Příslušníkům státního aparátu pouze stačí získat krátký přístup k odemčenému telefonu a prostřednictvím QR kódu propojit účet s oficiální desktopovou nebo webovou aplikací v policejním

    … více »
    AfD 💙 | Komentářů: 2
    19.9. 02:11 | IT novinky Ladislav Hagara | Komentářů: 0
    18.9. 19:11 | Zajímavý projekt

    Fugleramme, v překladu 'ptačí rámeček', je open-source projekt postavený na Raspberry Pi, který pomocí lokální umělé inteligence BirdNET-Go rozpoznává ptačí druhy podle jejich zpěvu a na displeji následně zobrazuje koláž tvořenou odpovídajícími ilustracemi. Databáze obsahuje přes 800 ručně vybraných historických přírodovědných ilustrací více než 400 druhů ptáků.

    … více »
    AfD 💙 | Komentářů: 1
    18.9. 16:55 | Nová verze

    Unicode Consortium, nezisková organizace koordinující rozvoj standardu Unicode, oznámila vydání Unicode 18.0. Přidáno bylo 13 007 nových znaků. Celkově jich je 172 808. Přibylo 9 nových Emoji.

    Ladislav Hagara | Komentářů: 6
    18.9. 13:22 | Zajímavý článek

    Nové číslo časopisu Raspberry Pi zdarma ke čtení: Raspberry Pi Official Magazine 169 (pdf).

    Ladislav Hagara | Komentářů: 0
    Které desktopové prostředí na Linuxu používáte?
     (9%)
     (7%)
     (4%)
     (21%)
     (29%)
     (8%)
     (5%)
     (2%)
     (14%)
     (20%)
    Celkem 2708 hlasů
     Komentářů: 31, poslední 13.8. 00:27
    Rozcestník

    Dotaz: Prolog - začínáme, aneb první chybová hláška

    15.12.2013 01:53 asfa
    Prolog - začínáme, aneb první chybová hláška
    Přečteno: 958×
    Čau, už přes hodinu si mořím hlavu, jak začít prologovat, nebo spustit funkční soubor... Zde je mně dodaný funkční kód:
    muz(martin).
    muz(mirek).
    zena(zuzana).
    zena(lenka).
    
    matka(lenka,martin).
    matka(lenka,zuzana).
    otec(mirek,martin).
    otec(mirek,zuzana).
    
    
    rodic(R, P):- matka(R,P); otec(R,P).
    
    Naintaloval jsem swi-prolog z repozitáře (Ubuntu 13.04). Zkouším prolog do Terminálu, či swipl a pokaždé mi interpret vrací jinou chybu:
    $ prolog
    GNU Prolog 1.3.0
    By Daniel Diaz
    Copyright (C) 1999-2007 Daniel Diaz
    | ?- muz(martin).
    uncaught exception: error(existence_error(procedure,muz/1),top_level/0)
    | ?- 
    Nebo:
    $ swipl
    % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 2,224 bytes
    Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.10.4)
    Copyright (c) 1990-2011 University of Amsterdam, VU Amsterdam
    SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
    and you are welcome to redistribute it under certain conditions.
    Please visit http://www.swi-prolog.org for details.
    
    For help, use ?- help(Topic). or ?- apropos(Word).
    
    ?- muz(martin).
    ERROR: toplevel: Undefined procedure: muz/1 (DWIM could not correct goal)
    ?- 
    

    Řešení dotazu:


    Odpovědi

    15.12.2013 08:20 alias01 | skóre: 4
    Rozbalit Rozbalit vše Re: Prolog - začínáme, aneb první chybová hláška
    To enter rules from the command line, type this :
    [user].
    After having entered the knowledge, type CONTROL-D to come back to the mode where you can enter goals (questions).
    http://jmvanel.free.fr/ai/prolog-getting-started.html
    16.12.2013 02:56 mtmr
    Rozbalit Rozbalit vše Re: Prolog - začínáme, aneb první chybová hláška
    Celá čáast nad 'rodic(R, P):- matka(R,P); otec(R,P).' je popis programu, ten nejdřív do prologu musíš nahrát (jako zdroják). Až tím 'rodic(R, P):- matka(R,P); otec(R,P).' spoušíš na programu svůj výpočet. Chybu tě to hází, protože ty teď máš ten program vlasně prázný a voláš funkci 'muz/1'. (Syntax tě neporadím, žu jsem pár let prolog neviděl.)
    Řešení 1× (mimi.vx)
    17.12.2013 02:35 T
    Rozbalit Rozbalit vše Re: Prolog - začínáme, aneb první chybová hláška
    Prolog říká, že nezná daný predikát. Zdrojový kód ulož do souboru, např. 'example.pro', poté spusť prolog/swipl a zadej
    consult('example.pro').
    Tím načteš zdrojový kód a volání muz(martin) by mělo vrátit výsledek. Pro opětovné načtení je reconsult, ale nepamatuju se, čím se liší. Myslím, že i šlo spouštět swipl s nějakými parametry, které řekly, že má při startu načíst soubor.

    Založit nové vláknoNahoru

    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.