#prolog search results
Prolog is my new playground! Today, I started coding for AI knowledge rep, and the excitement is real. Had my AI practicals : I explored Prolog. I went through the documentation, and even better, I executed code while reading the documentation! #Prolog #100DaysofCode #ML #AI
●固定用ポスト ・カシオポケコン情報サイト CASIO PB-1000 FOREVER! lsigame.com ・妄想ダ〇〇〇ス (全3ポスト) x.com/JAMA870P/statu… *他のは後続ポストに ・ #ポケコン の #Prolog で遊ぶ！ 迷路 x.com/JAMA870P/statu… アドベンチャーゲーム x.com/JAMA870P/statu… (続く)
AI-1000 Prologでアドベンチャーゲーム「M-House」が完成しました！ asserta/retractの述語を使った簡単なPrologゲームです。かなり小規模な内容ですが、時間を掛けて仕掛けを考えましたので、かなり楽しかったです。 ソースはこちら↓ (ネタバレなんでジロジロ見ないで) lsigame.com/pb-1000/softli…
After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog
#Prolog #ArtificialIntelligence #NLProc Would you feel more comfortable in a world where this is real?
First ride on my new LeMond Bicycle #Prolog #ebike What a amazing design by a great cyclist. It was super easy to ride and handle. At 26lbs it flys with the motor off and then in the headwind coming back the assist made it a dream. #bicycle
LOOK: Korean actor LEE JAE WOOK announces his 2025 Asia Fan Meeting Tour pro'log' in Manila! 🗓️September 20, SAT, 6PM 📍Newport Performing Arts Theater 🎫July 26, 12PM via SM Tickets Presented by @WilbrosLive #LeeJaeWook #이재욱 #prolog #LEEJAEWOOKinManila #prologInManila
Prologだと大喜利にならないんですよね〜。 事実を「1は奇数です」を定義して「1は奇数ですか？」って質問してるだけだから💦 それでも他の言語みたいに if や for が無いのは面白い😁 #ポケコン #Prolog
【ゆる募】１～100までの整数が奇数かどうかを判定するプログラム大喜利を開催します☺ 言語不問✨️
Trying to keep #prolog alive in young generations #NLProc #ArtificialIntelligence #teaching #computerscience #LLMs What do you think? Shall I give up?
Scoped dynamic predicates in prolog using library(intercept) swi-prolog.org/pldoc/man?sect… , a relative of delimited continuations. Basically lets me have an implicit context / reader monad to carry around the DB. Buyer beware on variable scopes. #prolog
my first introduction to #AI/Logic Programming was with #Prolog (en.wikipedia.org/wiki/Prolog) in the late 80s and Turbo Prolog (fraber.de/university/pro…) in the early 90s
Mi taller "Introducción a la programación lógica con Scryer Prolog" para esLibre 2024, ¡ha sido aceptado! Si quieres descubrir el mundo de la programación lógica (y disfrutar del resto de charlas y talleres), acude a Valencia el 24 y 25 de mayo a @esLibre_ #prolog
Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks
🫶 Soala 🫰•.¸¸♬*¨*• Kobe Street Live🎤 5月5日㈮ 三ノ宮駅前 🔹#Prolog🔹 🔸#オリジナル曲🔸 神戸 三ノ宮駅前も Soala人気が・・👏👏 #Soala #路上ライブ @soala_official #歌うま #シンガーソングライター
LOOK: Korean actor LEE JAE WOOK announces his 2025 Asia Fan Meeting Tour pro'log' in Manila! 🗓️September 20, SAT, 6PM 📍Newport Performing Arts Theater 🎫July 26, 12PM via SM Tickets Presented by @WilbrosLive #LeeJaeWook #이재욱 #prolog #LEEJAEWOOKinManila #prologInManila
2025 イ・ジェウク アジアファンミーティングツアー「pro'log」ソウル公演 日付：2025年12月13日（土） 時間：開演時刻未定 場所：未定 詳細：abit.ly/89thct #イ・ジェウク #アジアファンミーティングツアー #prolog #ソウル公演 #アファンミーティング #チケット購入代行
●固定用ポスト ・カシオポケコン情報サイト CASIO PB-1000 FOREVER! lsigame.com ・妄想ダ〇〇〇ス (全3ポスト) x.com/JAMA870P/statu… *他のは後続ポストに ・ #ポケコン の #Prolog で遊ぶ！ 迷路 x.com/JAMA870P/statu… アドベンチャーゲーム x.com/JAMA870P/statu… (続く)
AI-1000 Prologでアドベンチャーゲーム「M-House」が完成しました！ asserta/retractの述語を使った簡単なPrologゲームです。かなり小規模な内容ですが、時間を掛けて仕掛けを考えましたので、かなり楽しかったです。 ソースはこちら↓ (ネタバレなんでジロジロ見ないで) lsigame.com/pb-1000/softli…
Curso "Lógica informática (2014-15)". jaalonso.github.io/cursos/li-14 #Lógica #ProgramaciónLógica #Prolog
First ride on my new LeMond Bicycle #Prolog #ebike What a amazing design by a great cyclist. It was super easy to ride and handle. At 26lbs it flys with the motor off and then in the headwind coming back the assist made it a dream. #bicycle
In the land of Prolog, does a lumberjack’s saw have clauses or just sharp predicates? Source: devhubby.com/thread/how-to-… #CodePuzzle #PrologCode #Prolog #LogicSolving #quiz #solve
🏅 Congratz @stablechen on winning the #hackwasm Hackathon! The groundbreaking achievement in creating an infinitely extensible logic interpreter powered by @CosmWasm is truly game-changing. #prolog thrives and flourishes with @OKP4_Protocol in the vibrant @CosmosEcosystem.
Prolog is my new playground! Today, I started coding for AI knowledge rep, and the excitement is real. Had my AI practicals : I explored Prolog. I went through the documentation, and even better, I executed code while reading the documentation! #Prolog #100DaysofCode #ML #AI
New release of postgresql-prolog! Safer queries because the query template and the data are sent separately making SQL injection attacks impossible. To help users with these templates, a new DSL has been done to use #Prolog syntax to build simple SQL queries. #postgresql
Curso "Lógica informática (2013-14)". jaalonso.github.io/cursos/li-13 #Lógica #ProgramaciónLógica #Prolog
In a attempt to test the large #LLM Claude 100k, I tried to solve the Zebra Puzzle (also know as Einstein Puzzle). Well there was no way for huge Claude 100k to solve it! Fun fact: a simple #Prolog interpreter can solve it easily applying its backward chaining.
Does a language model trained on “A is B” generalize to “B is A”? E.g. When trained only on “George Washington was the first US president”, can models automatically answer “Who was the first US president?” Our new paper shows they cannot!
#Prolog allows to weave on-chain governances for humanity and machine alike... @CosmoverseHQ @OKP4_Protocol
MoE (Mixture of Experts) reminds me the good old times of Knowledge Based Systems (KBS) and #Prolog
Switch #Transformer is a MoE model trained on MLM. Its architecture is similar to T5, but FF layers are replaced by Sparse MLP layers containing "experts" MLP. As stated in its paper, it not only allows for faster training but also surpasses T5 in fine-tuned tasks!
Something went wrong.
Something went wrong.
United States Trends
- 1. phil 32K posts
- 2. Columbus 190K posts
- 3. PHAN 55K posts
- 4. President Trump 1.21M posts
- 5. Middle East 296K posts
- 6. Thanksgiving 58.6K posts
- 7. Brian Callahan 12K posts
- 8. #IndigenousPeoplesDay 15K posts
- 9. Cam Talbot N/A
- 10. Titans 39.1K posts
- 11. Azzi 9,901 posts
- 12. Macron 233K posts
- 13. Vrabel 7,036 posts
- 14. #UFC323 4,201 posts
- 15. Cape Verde 23K posts
- 16. HAZBINTOOZ 7,250 posts
- 17. Marc 53.3K posts
- 18. Cejudo 1,271 posts
- 19. #DonnaAdelson N/A
- 20. Native Americans 15.9K posts