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í
×
    včera 05:11 | Nová verze

    OCCT3D (Open CASCADE Technology) Open Source 8.0 bylo vydáno. OCCT3D (Wikipedie, GitHub) je objektově orientovaná knihovna pro 3D CAD, CAM nebo CAE. Používá se například v softwarech FreeCAD a KiCad.

    Ladislav Hagara | Komentářů: 2
    včera 02:22 | Bezpečnostní upozornění

    Ve FreeBSD byla nalezena a již opravena 21letá zranitelnost CVE-2026-42511 v dhclient. Jedná se o vzdálené spuštění kódu (RCE). Útočník mající pod správou DHCP server může získat plnou kontrolu nad systémem FreeBSD pouze jeho připojením k místní síti.

    Ladislav Hagara | Komentářů: 3
    9.5. 17:22 | Komunita

    Na čem aktuálně pracují vývojáři GNOME a KDE Plasma? Pravidelný přehled novinek v Týden v GNOME a Týden v KDE Plasma.

    Ladislav Hagara | Komentářů: 0
    9.5. 00:11 | Nová verze

    UBports, nadace a komunita kolem Ubuntu pro telefony a tablety Ubuntu Touch, vydala Ubuntu Touch 24.04-1.3. Současně oznámila, že nadcházející větší vydání 24.04-2.0 bude mít modernější webový prohlížeč.

    Ladislav Hagara | Komentářů: 0
    8.5. 17:11 | Zajímavý projekt

    Ploopy po DIY trackballech či sluchátkách představuje nový externí DIY trackpoint se čtyřmi tlačítky Bean. Obsahuje snímač Texas Instruments TMAG5273, spínače Omron D2LS-21 a řadič RP2040, používá firmware QMK. Schémata jsou na GitHubu; sadu lze předobjednat za 69 kanadských dolarů (bez dopravy a DPH).

    |🇵🇸 | Komentářů: 0
    8.5. 03:33 | Zajímavý článek

    Mozilla před dvěma týdny na svém blogu oznámila, že díky Claude Mythos Preview bylo ve Firefoxu nalezeno a opraveno 271 bezpečnostních chyb. Včera vyšel na Mozilla Hacks článek s podrobnějšími informacemi. Z 271 bezpečnostních chyb mělo 180 chyb vysokou závažnost, 80 chyb střední závažnost a 11 chyb nízkou závažnost. Celkově bylo v dubnu ve Firefoxu opraveno 423 bezpečnostních chyb. Čísla CVE nemusí být přiřazována jednotlivým chybám. CVE-2026-6784 například představuje 154 bezpečnostních chyb.

    Ladislav Hagara | Komentářů: 0
    7.5. 22:55 | Bezpečnostní upozornění

    Před týdnem zranitelnost Copy Fail. Dnes zranitelnost Dirty Frag. Běžný uživatel může na Linuxu získat práva roota (lokální eskalaci práv). Na většině linuxových distribucí vydaných od roku 2017. Aktuálně bez oficiální záplaty a CVE čísla [oss-security mailing list].

    Ladislav Hagara | Komentářů: 9
    7.5. 14:00 | Humor

    Ačkoli je papež Lev XIV. hlavou katolické církve a stojí v čele více než miliardy věřících po celém světě, také on někdy řeší všední potíže. A kdo v životě neměl problémy se zákaznickou linkou? Krátce poté, co nastoupil do úřadu, musel papež se svou bankou řešit změnu údajů. Operátorka ale nechtěla uvěřit, s kým mluví, a Svatému otci zavěsila.

    Ladislav Hagara | Komentářů: 14
    7.5. 05:11 | Nová verze

    Incus, komunitní fork nástroje pro správu kontejnerů LXD, byl vydán ve verzi 7.0 LTS (YouTube). Stejně tak související LXC a LXCFS.

    Ladislav Hagara | Komentářů: 0
    7.5. 05:00 | Nová verze

    Google Chrome 148 byl prohlášen za stabilní. Nejnovější stabilní verze 148.0.7778.96 přináší řadu novinek z hlediska uživatelů i vývojářů. Vypíchnout lze Prompt API (demo) pro přímý přístup k AI v zařízení. Podrobný přehled v poznámkách k vydání. Opraveno bylo 127 bezpečnostních chyb. Vylepšeny byly také nástroje pro vývojáře.

    Ladislav Hagara | Komentářů: 0
    Které desktopové prostředí na Linuxu používáte?
     (13%)
     (9%)
     (2%)
     (14%)
     (31%)
     (4%)
     (7%)
     (3%)
     (16%)
     (25%)
    Celkem 1574 hlasů
     Komentářů: 30, poslední 3.4. 20:20
    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: 708×
    Č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.