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 18:22 | Bezpečnostní upozornění

V balíčku eject, příkaz pro vysunutí CD/DVD z mechaniky, v linuxových distribucích Ubuntu (USN-3246-1) a Debian (#858872) byla nalezena bezpečnostní chyba CVE-2017-6964 zneužitelná k lokální eskalaci práv. Linuxové distribuce používající eject z balíčku util-linux nejsou zranitelné.

Ladislav Hagara | Komentářů: 3
včera 05:55 | Komunita

Dries Buytaert, autor a vedoucí projektu Drupal a prezident Drupal Association, požádal soukromě před několika týdny Larryho Garfielda, jednoho z klíčových vývojářů Drupalu, aby projekt Drupal opustil. Larry Garfield minulý týden na svých stránkách napsal, že důvodem jsou jeho BDSM praktiky a rozpoutal tím bouřlivou diskusi. Na druhý den reagoval Dries Buytaert i Drupal Association. Pokračuje Larry Garfield [reddit].

Ladislav Hagara | Komentářů: 35
včera 04:44 | Humor

Společnost SAS zveřejnila na svých stránkách studii s názvem Open Source vs Proprietary: What organisations need to know (pdf). Organizace by měly například vědět, že ideální je mix 40 % open source softwaru a 60 % proprietárního softwaru [Slashdot].

Ladislav Hagara | Komentářů: 12
27.3. 23:33 | Zajímavý software

Byl vydán ShellCheck ve verzi 0.4.6. Jedná se o nástroj pro statickou analýzu shellových skriptů. Shellové skripty lze analyzovat na webové stránce ShellChecku, v terminálu nebo přímo z textových editorů. Příklady kódů, na které analýza upozorňuje a doporučuje je přepsat. ShellCheck je naprogramován v programovacím jazyce Haskell. Zdrojové kódy jsou k dispozici na GitHubu pod licencí GPLv3.

Ladislav Hagara | Komentářů: 0
27.3. 23:33 | Pozvánky

Czech JBoss User Group zve na setkání JBUG v Brně, které se koná ve středu 5. dubna 2017 v prostorách Fakulty informatiky Masarykovy univerzity v místnosti A318 od 18:00. Přednáší Pavol Loffay na téma Distributed Tracing and OpenTracing in Microservice Architecture.

… více »
mjedlick | Komentářů: 0
27.3. 11:33 | Zajímavý článek

Národní centrum kybernetické bezpečnosti (NCKB) vypracovalo (pdf) 26 podrobných bezpečnostních doporučení pro síťové správce. Tato doporučení jsou nastavena tak, aby je bylo možné aplikovat v každé instituci. Jsou rozdělena na tři základní části: bezpečnost infrastruktury, bezpečnost stanic a serverů a bezpečnost uživatelů.

Ladislav Hagara | Komentářů: 16
27.3. 05:55 | Komunita

Prezident Nadace pro svobodný software (FSF) Richard M. Stallman vyhlásil na slavnostním ceremoniálu v rámci konference LibrePlanet 2017 vítěze Free Software Awards za rok 2016. Ocenění za společenský přínos získal SecureDrop (Wikipedie). Za rozvoj svobodného softwaru byl oceněn Alexandre Oliva (Wikipedie).

Ladislav Hagara | Komentářů: 0
27.3. 04:44 | Nová verze

Byla vydána verze 0.7.0 debugovacího nástroje cgdb. Mezi novinky patří například zvýrazňování syntaxe jazyka Rust. Podrobnosti v poznámkách o vydání.

Neel | Komentářů: 0
25.3. 22:00 | Komunita

Portál Stack Overflow po roce opět vyzpovídal své uživatele, jedná se především o vývojáře softwaru, a zveřejnil (podcast) detailní výsledky průzkumu. Průzkumu se letos zúčastnilo více než 64 tisíc vývojářů. Jejich nejmilovanější platformou je linuxový desktop. Ten je také druhou nejpoužívanější platformou vývojářů.

Ladislav Hagara | Komentářů: 7
24.3. 11:55 | Komunita

Vývojový tým OpenSSL ve spolupráci s iniciativou Core Infrastructure konsorcia Linux Foundation spustil proces přelicencování této kryptografické knihovny ze současné licence na licenci Apache Licence v 2.0 (ASLv2). Nová licence usnadní začleňování OpenSSL do dalších svobodných a open source projektů. Všichni dosavadní vývojáři OpenSSL (Authors) obdrží v následujících dnech email s prosbou o souhlas se změnou licence.

Ladislav Hagara | Komentářů: 33
Jak se stavíte k trendu ztenčování přenosných zařízení (smartphony, notebooky)?
 (14%)
 (2%)
 (71%)
 (3%)
 (10%)
Celkem 957 hlasů
 Komentářů: 72, poslední 1.3. 11:16
    Rozcestník

    Dotaz: Jak v prologu definovat predikaty?

    5.11.2007 21:51 pica
    Jak v prologu definovat predikaty?
    Přečteno: 1076×
    Jak muzu definovat v prologu predikat? Mam gnu prolog 1.3.0-1, ktery spoustim prikazem 'pl'. Ve vsech tutorialech cpou krasne atomy do predikatu a pak ukazujou jak jim to hezky jede, ale nikde sem se nedozvedel jak ten jazyk definovat. Po spusteni 'pl' na me vyskoci konzole "?- ", ktera mi umoznuje spousteni dotazu, ale unika mi jak mam definovat ten svuj jazyk. Neni treba gnu prolog odlisny od "nejakeho jineho" prologu?
    > pl
    Welcome to SWI-Prolog (Multi-threaded, Version 5.6.41)
    Copyright (c) 1990-2007 University of 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).
    
    ?- pica(X).
    ERROR: toplevel: Undefined procedure: pica/1 (DWIM could not correct goal)
    ?- pica(X) :- blbekouka(X).
    ERROR: toplevel: Undefined procedure: ( :- )/2 (DWIM could not correct goal)
    ?- 
    

    Odpovědi

    5.11.2007 21:56 Vojtěch Horký | skóre: 39 | blog: Vojtův zápisník | Praha
    Rozbalit Rozbalit vše Re: Jak v prologu definovat predikaty?

    Nějak nevidím souvislost s Linuxem, ale predikáty se (obvykle) umístí do samostatného souboru a poté se načtou příkazem consult('název-soubor') a v programu se provádí už jenom dotazy nad takto načtenou databází...

    I am always ready to learn although I do not always like to be taught. (W. Churchill)
    5.11.2007 22:18 Martin Doucha | skóre: 23 | blog: Yet another blog
    Rozbalit Rozbalit vše Re: Jak v prologu definovat predikaty?
    Tak nějakou souvislost vyrobíme :) SWI Prolog umí spouštět soubory jako plnohodnotné skripty.
    #!/usr/bin/pl -s
    Případně si uprav cestu k programu, parametr -s je nutný.
    michich avatar 5.11.2007 22:14 michich | skóre: 50 | blog: ohrivane_parky
    Rozbalit Rozbalit vše Re: Jak v prologu definovat predikaty?
    Mimochodem nevím, proč si myslíš, že používáš GNU Prolog, když tohle je evidentně SWI Prolog.
    menphis avatar 5.11.2007 22:40 menphis | skóre: 22 | blog: menphis_blog
    Rozbalit Rozbalit vše Re: Jak v prologu definovat predikaty?
    no predikaty se umistuji do samostatneho souboru, takze ve tvem pripade si vyrob soubor pica.pl do kteroh napises:

    pica(X). pica(X):-blbekouka(X).

    tento soubor pak nactes v prologu prikazem ['pica.pl'].

    nebo jak uz tu nekdo psal primo pri spusteni pl -s pica.pl

    jinak pro zacatek je celkom dobry projit si tohle skripta
    22.1.2008 18:55 gorgo | skóre: 11 | blog: denicek
    Rozbalit Rozbalit vše Re: Jak v prologu definovat predikaty?
    sice otazka primo s linuxem nesouvisi, ale udelalo mi hroznou radost, kdyz jsem hledal totez, ze jsem odpoved nasel prave tady=) diky!

    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.