#prolog — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #prolog, aggregated by home.social.
-
Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.
https://zdrojak.cz/clanky/prolog-nezmizel-jen-dnes-zije-v-jinych-nastrojich/ -
Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.
https://zdrojak.cz/clanky/prolog-nezmizel-jen-dnes-zije-v-jinych-nastrojich/ -
New blog post: Rules, Types, and Glue: A Multi-Paradigm Architecture for Game Simulation 🎮🧱
A deep dive into combining classical AI and strict type systems for high-performance simulation engines. I evaluate:
🧠 Prolog for symbolic reasoning (Rules)
🧱 Coalton for static type-safety (Types)
🔄 Common Lisp as the high-speed runtime (Glue)Includes SBCL vs. ECL performance benchmarks.
Read it here: https://dwightaspencer.com/posts/03-rules-types-and-glue/
#CommonLisp #Prolog #StandardML #FunctionalProgramming #GameDev #Simulation
-
New blog post: Rules, Types, and Glue: A Multi-Paradigm Architecture for Game Simulation 🎮🧱
A deep dive into combining classical AI and strict type systems for high-performance simulation engines. I evaluate:
🧠 Prolog for symbolic reasoning (Rules)
🧱 Coalton for static type-safety (Types)
🔄 Common Lisp as the high-speed runtime (Glue)Includes SBCL vs. ECL performance benchmarks.
Read it here: https://dwightaspencer.com/posts/03-rules-types-and-glue/
#CommonLisp #Prolog #StandardML #FunctionalProgramming #GameDev #Simulation
-
Eyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.
-
Eyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.
-
Eyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.
-
Eyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.
-
Eyelog now has a language specification.
It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.
-
Learning ProLog with Pokémon.
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ -
Learning ProLog with Pokémon.
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ -
Learning ProLog with Pokémon.
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ -
Learning ProLog with Pokémon.
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ -
Learning ProLog with Pokémon.
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ -
🧙♂️✨ Oh joy, yet another tech blogger has discovered the ancient art of #Prolog through the mystical lens of #Pokémon, because nothing screams cutting-edge software development like a children's game from the '90s. 🎮🤦♂️ Apparently, understanding the relationship between Pikachu and Charmander is the key to unlocking the universe of logical programming—who knew? 🧐🔥
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ #techblogger #softwaredevelopment #nostalgia #HackerNews #ngated -
🧙♂️✨ Oh joy, yet another tech blogger has discovered the ancient art of #Prolog through the mystical lens of #Pokémon, because nothing screams cutting-edge software development like a children's game from the '90s. 🎮🤦♂️ Apparently, understanding the relationship between Pikachu and Charmander is the key to unlocking the universe of logical programming—who knew? 🧐🔥
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ #techblogger #softwaredevelopment #nostalgia #HackerNews #ngated -
🧙♂️✨ Oh joy, yet another tech blogger has discovered the ancient art of #Prolog through the mystical lens of #Pokémon, because nothing screams cutting-edge software development like a children's game from the '90s. 🎮🤦♂️ Apparently, understanding the relationship between Pikachu and Charmander is the key to unlocking the universe of logical programming—who knew? 🧐🔥
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ #techblogger #softwaredevelopment #nostalgia #HackerNews #ngated -
🧙♂️✨ Oh joy, yet another tech blogger has discovered the ancient art of #Prolog through the mystical lens of #Pokémon, because nothing screams cutting-edge software development like a children's game from the '90s. 🎮🤦♂️ Apparently, understanding the relationship between Pikachu and Charmander is the key to unlocking the universe of logical programming—who knew? 🧐🔥
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ #techblogger #softwaredevelopment #nostalgia #HackerNews #ngated -
🧙♂️✨ Oh joy, yet another tech blogger has discovered the ancient art of #Prolog through the mystical lens of #Pokémon, because nothing screams cutting-edge software development like a children's game from the '90s. 🎮🤦♂️ Apparently, understanding the relationship between Pikachu and Charmander is the key to unlocking the universe of logical programming—who knew? 🧐🔥
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ #techblogger #softwaredevelopment #nostalgia #HackerNews #ngated -
Prolog Basics Explained with Pokémon
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
-
Prolog Basics Explained with Pokémon
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
-
Prolog Basics Explained with Pokémon
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
-
Prolog Basics Explained with Pokémon
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
-
Prolog Basics Explained with Pokémon
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Video: Star Fox – Prolog
Erlebt den schicksalhaften Kampf, der sich einige Jahre vor den Ereignissen von Star Fox ereignete und an dem Fox’s Vater, James McCloud, beteiligt war...https://nintendo-connect.de/heimkonsole/nintendo-switch-2/video-star-fox-prolog-248001/
-
Video: Star Fox – Prolog
Erlebt den schicksalhaften Kampf, der sich einige Jahre vor den Ereignissen von Star Fox ereignete und an dem Fox’s Vater, James McCloud, beteiligt war...https://nintendo-connect.de/heimkonsole/nintendo-switch-2/video-star-fox-prolog-248001/
-
Pro Log: Paul Seixas to ride the Tour de France; Crashes hit La Vuelta Femenina; EF reveal alien Giro d’Italia kit
Welcome back to another edition of Pro Log. Here’s a rundown of the latest results before we get started:…
#France #FR #Europe #EU #DecathlonCMACGM #Girod'Italia #PaulSeixas #ProLog #TadejPogacar #TourdeFrance #UAETeamEmirates-XRG #VueltaaEspaña #Women'sCycling
https://www.europesays.com/france/11855/ -
#TIL about Sweep, which embeds #Prolog in #Emacs
> Sweep uses the C interfaces of both SWI-Prolog and Emacs Lisp to create a dynamically loaded Emacs module that contains the SWI-Prolog runtime. As such, Sweep has parts written in C, in Prolog and in Emacs Lisp.
https://eshelyaron.com/sweep.html#High_002dlevel-Architecture
-
#TIL about Sweep, which embeds #Prolog in #Emacs
> Sweep uses the C interfaces of both SWI-Prolog and Emacs Lisp to create a dynamically loaded Emacs module that contains the SWI-Prolog runtime. As such, Sweep has parts written in C, in Prolog and in Emacs Lisp.
https://eshelyaron.com/sweep.html#High_002dlevel-Architecture
-
#TIL about Sweep, which embeds #Prolog in #Emacs
> Sweep uses the C interfaces of both SWI-Prolog and Emacs Lisp to create a dynamically loaded Emacs module that contains the SWI-Prolog runtime. As such, Sweep has parts written in C, in Prolog and in Emacs Lisp.
https://eshelyaron.com/sweep.html#High_002dlevel-Architecture
-
#TIL about Sweep, which embeds #Prolog in #Emacs
> Sweep uses the C interfaces of both SWI-Prolog and Emacs Lisp to create a dynamically loaded Emacs module that contains the SWI-Prolog runtime. As such, Sweep has parts written in C, in Prolog and in Emacs Lisp.
https://eshelyaron.com/sweep.html#High_002dlevel-Architecture
-
#TIL about Sweep, which embeds #Prolog in #Emacs
> Sweep uses the C interfaces of both SWI-Prolog and Emacs Lisp to create a dynamically loaded Emacs module that contains the SWI-Prolog runtime. As such, Sweep has parts written in C, in Prolog and in Emacs Lisp.
https://eshelyaron.com/sweep.html#High_002dlevel-Architecture
