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 14:44 | IT novinky

    Námořní drony používané elitními jednotkami britského královského námořnictva tajně posílaly údaje do Číny. Stroje vybavené čínskými komponenty měly být využívány pro vojenské operace na Blízkém východě. Kamery na dálkově řízených průzkumných člunech K3 Scout byly vybavené součástkami, které bez vědomí britského námořnictva odesílaly informace do spojeného zařízení v Číně. Britské námořní síly využívaly flotilu námořních dronů

    … více »
    Ladislav Hagara | Komentářů: 2
    včera 13:33 | IT novinky

    Alza.cz nabízí herní AlzaPC s předinstalovaným Linuxem (YouTube), konkrétně s linuxovou distribucí Bazzite (Wikipedie).

    Ladislav Hagara | Komentářů: 4
    včera 04:55 | Nová verze

    Squeak (Wikipedie), open source implementace programovacího jazyka a prostředí Smalltalk, byl vydán ve verzi 6.1. Přehled novinek v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 0
    včera 04:44 | Bezpečnostní upozornění

    V Linuxu v KVM byla nalezena a v upstreamu již byla opravena kritická zranitelnost Zapscape aneb CVE-2026-64561. Root na hostovaném počítači (virtuální stroj) může obejít izolaci a získat plnou kontrolu nad hostitelským systémem (DoS útok nebo vzdálené spuštění kódu s právy roota). Na obou hlavních architekturách – Intel i AMD. Zranitelnost v Linuxu existovala 6 let (od července 2020 do července 2026).

    Ladislav Hagara | Komentářů: 0
    10.8. 19:00 | IT novinky

    Počítačová hra Knytt napsaná v Multimedia Fusion 2 byla vydána před 20 lety. Při této příležitosti byl dnes představen moderní port (YouTube) této plošinovky na současné operační systémy pod názvem Knytt Classic. Je zdarma k dispozici na Steamu a GOG.com.

    Ladislav Hagara | Komentářů: 0
    10.8. 16:00 | IT novinky

    Americká technologická společnost Meta Platforms představila nový model umělé inteligence (AI) Muse Glimmer. Model je menší než přední modely AI od konkurence a má běžet přímo na počítačích uživatelů. Meta model zpřístupní jako open source, tedy otevřený software. Nový model je navržen tak, aby zvládal takzvané agentní úkoly na počítačích se spotřebitelskou grafickou kartou. Klade si tak za cíl uspokojit poptávku po systémech AI, které běží přímo na zařízeních uživatelů.

    Ladislav Hagara | Komentářů: 8
    10.8. 12:11 | Pozvánky

    V pátek 28. srpna 2026 se v pražském Karlíně uskuteční již osmý Mobilní Hackday. Akce začne v 10:00 a potrvá až do večera. Setkání proběhne v prostorách SUSE Linux, s.r.o. na adrese Křižíkova 148/34, Praha 8 – Karlín. Nejbližší zastávkou je Křižíkova, kam se lze dostat tramvají i metrem. Na programu budou například novinky z posledních měsíců, možnosti, jak si zjednodušit práci s LLM/AI, a také nová linuxová distribuce BengalOS, včetně … více »

    David Heidelberg | Komentářů: 0
    9.8. 17:22 | Nová verze

    Jakub Vrána vydal Adminer ve verzi 6.0.0 s více než 130 změnami: "Většina změn vznikla s asistencí Claude Opus 5. Někteří lidi se bojí, že AI asistence může kód zamořit technickým dluhem. To je jistě pravda, pokud vývojář všechny změny bezduše odbouchne Enterem. Ale pokud si pořádně projde plán, vyjedná v něm změny a pak totéž udělá i s vygenerovaným kódem, kvalita kódu stoupne a technický dluh naopak klesne. Je to jako párové programování s

    … více »
    Ladislav Hagara | Komentářů: 2
    9.8. 12:44 | Nová verze

    Sam Aaron vydal novou major verzi 5.0.0 aplikace Sonic Pi (Wikipedie) určené také pro výuku programování pomocí skládání hudby. Přehled novinek na GitHubu. Instalovat lze také z Flathubu.

    Ladislav Hagara | Komentářů: 0
    8.8. 04:44 | IT novinky

    U příležitosti 30. výročí vydání počítačové hry Quake byla vydána nová epizoda s názvem Dawn of the Machine (Steam).

    Ladislav Hagara | Komentářů: 8
    Které desktopové prostředí na Linuxu používáte?
     (10%)
     (7%)
     (2%)
     (18%)
     (30%)
     (6%)
     (6%)
     (2%)
     (15%)
     (23%)
    Celkem 2369 hlasů
     Komentářů: 30, poslední 3.4. 20:20
    Rozcestník


    Dotaz: Jak v prologu definovat predikaty?

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