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 19:22 | Zajímavý článek

    Pornhub zveřejnil podrobné statistiky za rok 2025. V části věnované zařízením a technologiím se lze dočíst, že 87 % přenášených dat směrovalo na telefony, 2 % na tablety a 11 % na desktopy. Operační systém Linux běžel na 6,3 % desktopů. O 22,4 % více než před rokem. Firefox má na desktopu 8,4 % podíl.

    Ladislav Hagara | Komentářů: 1
    dnes 13:11 | Pozvánky

    Chcete vědět, co se odehrálo ve světě techniky za poslední měsíc? Nebo si popovídat o tom, co zrovna bastlíte? Pak dorazte na prosincovou Virtuální Bastlírnu s mikrofonem a kamerou, nalijte si něco k pití a ponořte se s strahovskými bastlíři do diskuze u virtuálního piva o technice i všem možném okolo. O čem budou tentokrát strahováci referovat? Téměř každý už si všiml významného zdražení RAM a SSD, jsou zde ale i příjemnější zprávy. Průša uvádí

    … více »
    bkralik | Komentářů: 0
    dnes 12:55 | Bezpečnostní upozornění

    Národní úřad pro kybernetickou a informační bezpečnost (NÚKIB) podporuje vyjádření partnerů ze Spojeného království, kteří upozorňují na škodlivé aktivity společností Anxun Information Technology (též „I-S00N“) (pdf) a Beijing Integrity Technology (též „Integrity Tech“) působících v kyberprostoru a sídlících v Čínské lidové republice (ČLR). Tyto společnosti jsou součástí komplexního ekosystému soukromých subjektů v ČLR,

    … více »
    Ladislav Hagara | Komentářů: 5
    dnes 04:55 | IT novinky

    Společnost Pebble představila (YouTube) prsten s tlačítkem a mikrofonem Pebble Index 01 pro rychlé nahrávání hlasových poznámek. Prsten lze předobjednat za 75 dolarů.

    Ladislav Hagara | Komentářů: 6
    dnes 04:22 | IT novinky

    Společnost JetBrains v listopadu 2021 představila nové IDE s názvem Fleet. Tento týden oznámila jeho konec. Od 22. prosince 2025 již nebude možné Fleet stáhnout.

    Ladislav Hagara | Komentářů: 1
    včera 21:22 | Nová verze

    Byl vydán Mozilla Firefox 146.0. Přehled novinek v poznámkách k vydání a poznámkách k vydání pro vývojáře. Řešeny jsou rovněž bezpečnostní chyby. Nový Firefox 146 bude brzy k dispozici také na Flathubu a Snapcraftu.

    Ladislav Hagara | Komentářů: 0
    včera 17:00 | IT novinky

    Před rokem převzala Digitální a informační agentura (DIA) vlastnictví a provoz jednotné státní domény gov.cz. Nyní spustila samoobslužný portál, který umožňuje orgánům veřejné moci snadno registrovat nové domény státní správy pod doménu gov.cz nebo spravovat ty stávající. Proces nové registrace, který dříve trval 30 dní, se nyní zkrátil na několik minut.

    Ladislav Hagara | Komentářů: 7
    včera 11:33 | IT novinky

    IBM kupuje za 11 miliard USD (229,1 miliardy Kč) firmu Confluent zabývající se datovou infrastrukturou. Posílí tak svoji nabídku cloudových služeb a využije růstu poptávky po těchto službách, který je poháněný umělou inteligencí.

    Ladislav Hagara | Komentářů: 0
    včera 01:55 | IT novinky

    Nejvyšší správní soud (NSS) podruhé zrušil pokutu za únik zákaznických údajů z e-shopu Mall.cz. Incidentem se musí znovu zabývat Úřad pro ochranu osobních údajů (ÚOOÚ). Samotný únik ještě neznamená, že správce dat porušil svou povinnost zajistit jejich bezpečnost, plyne z rozsudku dočasně zpřístupněného na úřední desce. Úřad musí vždy posoudit, zda byla přijatá opatření přiměřená povaze rizik, stavu techniky a nákladům.

    Ladislav Hagara | Komentářů: 13
    8.12. 18:44 | Komunita

    Organizace Free Software Foundation Europe (FSFE) zrušila svůj účet na 𝕏 (Twitter) s odůvodněním: "To, co mělo být původně místem pro dialog a výměnu informací, se proměnilo v centralizovanou arénu nepřátelství, dezinformací a ziskem motivovaného řízení, což je daleko od ideálů svobody, za nimiž stojíme". FSFE je aktivní na Mastodonu.

    Ladislav Hagara | Komentářů: 34
    Jaké řešení používáte k vývoji / práci?
     (34%)
     (48%)
     (19%)
     (17%)
     (22%)
     (15%)
     (24%)
     (16%)
     (18%)
    Celkem 450 hlasů
     Komentářů: 18, poslední 2.12. 18:34
    Rozcestník

    Dotaz: Jak v prologu definovat predikaty?

    5.11.2007 21:51 pica
    Jak v prologu definovat predikaty?
    Přečteno: 1180×
    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: 51 | 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.