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 03:55 | Nová verze

    Cursor (Wikipedie) od společnosti Anysphere byl vydán ve verzi 3. Jedná se o multiplatformní proprietární editor kódů s podporou AI (vibe coding).

    Ladislav Hagara | Komentářů: 0
    včera 19:55 | Zajímavý projekt

    Průkopnická firma FingerWorks kolem roku 2000 vyvinula vícedotykové trackpady s gesty a klávesnice jako TouchStream LP. V roce 2005 ji koupil Apple, výrobu těchto produktů ukončil a dotykové technologie využil při vývoji iPhone. Multiplatformní projekt Apple Magic TouchstreamLP nyní implementuje funkcionalitu TouchStream LP na současném Apple Magic Trackpad, resp. jejich dvojici. Diskuze k vydání probíhá na Redditu.

    |🇵🇸 | Komentářů: 0
    včera 18:22 | Nová verze

    Byla vydána nová verze 10.3 sady aplikací pro SSH komunikaci OpenSSH. Přináší řadu bezpečnostních oprav, vylepšení funkcí a oprav chyb.

    Ladislav Hagara | Komentářů: 0
    včera 15:11 | Zajímavý software

    Cloudflare představil open source redakční systém EmDash. Jedná se o moderní náhradu WordPressu, která řeší bezpečnost pluginů. Administrátorské rozhraní lze vyzkoušet na EmDash Playground.

    Ladislav Hagara | Komentářů: 2
    včera 14:00 | Komunita

    Bratislava OpenCamp 2026 zverejnil program a spustil registráciu. Štvrtý ročník komunitnej konferencie o otvorených technológiách prinesie 19 prednášok na rôzne technologické témy. Konferencia sa uskutoční v sobotu 25. apríla 2026 v priestoroch FIIT STU v Bratislave.

    Ladislav Hagara | Komentářů: 0
    včera 13:44 | Humor

    Na iVysílání lze zhlédnout všechny díly kultovního sci-fi seriálu Červený trpaslík.

    Ladislav Hagara | Komentářů: 5
    včera 04:44 | IT novinky

    Společnost Valve aktualizovala přehled o hardwarovém a softwarovém vybavení uživatelů služby Steam. Podíl uživatelů Linuxu dosáhl v březnu 5,33 % (Windows -4,28 %, OSX +1,19 %, Linux +3,10 %). Nejčastěji používané linuxové distribuce jsou Arch Linux, Linux Mint a Ubuntu. Při výběru jenom Linuxu vede SteamOS Holo s 24,48 %. Procesor AMD používá 67,48 % hráčů na Linuxu.

    Ladislav Hagara | Komentářů: 3
    1.4. 23:22 | IT novinky

    Společnost Apple slaví padesáté narozeniny. Založena byla 1. dubna 1976.

    Ladislav Hagara | Komentářů: 2
    1.4. 22:33 | Nová verze

    FreeTube, desktopový klient pro YouTube využívající lokální API, byl vydán ve verzi 0.24.0. Toto velké opravné vydání implementuje SABR (Server-Based Adaptive Bit Rate), což řeší část nedávných problémů s načítáním videí z YouTube, a aktualizuje základní komponenty jako Electron nebo přehrávač Shaka Player.

    |🇵🇸 | Komentářů: 2
    1.4. 16:33 | Humor

    Je tu opět apríl. O víkendu zmizel kamion s 12 tunami tyčinek KitKat. Firmy to využívají k aprílovým žertům. Groupon má super akci. Koupíte 1 tyčinku a dostanete 100 zdarma. Ryanair si přelepil letadla. Šéf Outlooku se ptá, proč mají v baráku 14 beden tyčinek KitKat (𝕏). Prusa Research představuje Prusa Pro ACU a vysvětluje proč přílišné sušení škodí vaším filamentům. Telefon Sony Xperia má miliónnásobný zoom (𝕏). PC.net představil Super Ultrabox 2600 se zajímavými parametry. Další aprílové novinky například na April Fools' Day On The Web.

    Ladislav Hagara | Komentářů: 2
    Které desktopové prostředí na Linuxu používáte?
     (15%)
     (7%)
     (1%)
     (12%)
     (29%)
     (3%)
     (5%)
     (1%)
     (14%)
     (24%)
    Celkem 1207 hlasů
     Komentářů: 29, poslední 31.3. 11:17
    Rozcestník

    Dotaz: Jak v prologu definovat predikaty?

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