Top Tweets for #proLOG
🆕 Airport Contraband: Kostenloser Prolog erscheint am 27. August
🔗 https://t.co/Pc468mZ8Lm
📢 Zoll-Simulation von Drago Entertainment erhält spielbaren Steam-Prolog....
#airportcontraband #dragoentertainment #prolog #steam #simulation
🇸🇪 BILLY BOLT completely destroyed his bike at Forza Orza in Sweden!
DETAILS: https://t.co/CbOwtuYJsl
#BillyBolt #Extremenduro #FIMhardenduroworldchampionship #Final #ForzaOrza #grönklitt #Hardenduro #HEWCRound4 #ManuelLettenbichler #Prolog #Sprint #WadeYoung
Readings shared: 17-23 August, 2026. https://t.co/XhtCZHtPp1 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver
EyeProlog just got a serious OpenRuleBench boost 🚀
166s → 27s, 1.5GB → 450MB, all 14 benchmarks running — including WFS cases.
Code + benchmarks:
https://t.co/BiUAlI7Jib
#Prolog #Datalog #OpenSource
ediprolog: Emacs does interactive Prolog. ~ Markus Triska. https://t.co/JBZxjZ1W5m #Prolog #LogicProgramming #Emacs
NeSy-RAG: neurosymbolic RAG #prolog
保存しておきたい論文。
RAGって「なぜその答えを出したか」が見えなくて、実運用で詰まることがある。NeSy-RAGはPrologを使って推論を決定論的にする、という方向で解決を試みている。
ベースラインより大きく精度が上がっていて、アーキテクチャの発想が面白かったのでまとめておく。
🧵 #AI実装ノウハウ
私のSpotify大好き楽曲まとめ
ライブラリーは
#江﨑文武 さん
#MusicforSeiko の次は…
#いい湯だな
次は
バレエ #机上の空論 から
#Prolog
ご近所さまから
大丈夫か？と思われているかも🤣
#Überrschung. Heute gibt es schon den #Prolog von #KommissarKiffy und #DerToteAmSeil, damit wir am Montag direkt in den Fall einsteigen können....
Prolog: Der Antrag
Der Sommerwind strich sanft durch die hohen Hecken des Gartens, während die Nachmittagssonne das Grundstück in warmes, goldenes Licht tauchte. Über den Bergen von St. Moritz spannte sich ein beinahe wolkenloser Himmel, und irgendwo in der Ferne läuteten leise Kirchenglocken.
Fabian Meier lehnte entspannt in seinem Gartenstuhl zurück und blickte kurz zum Haus hinüber. Durch die geöffnete Terrassentür hörte man Julias gedämpfte Stimme. Offenbar telefonierte sie schon seit mehreren Minuten. „Immer noch?“, fragte Mia Bauer schmunzelnd und nahm einen Schluck Eistee. Fabian nickte. „Wenn Julia einmal anfängt, sich am Telefon festzureden, gibt es kein Entkommen mehr. Aber lass sie. Sie hat schon seit Wochen nicht mehr mit Klaus gesprochen.“
Mia lachte leise. Sie saß mit ausgestreckten Beinen im Schatten eines großen Sonnenschirms und genoss sichtbar den ruhigen Nachmittag. Bis auf gelegentliche Schmerzen bei Wetterumschwüngen merkte man ihr die schwere Zeit der letzten Jahre kaum noch an. Seit Monaten brauchte sie weder Rollstuhl noch Krücken. Langsam kehrte wieder so etwas wie Normalität in ihr Leben zurück.
Fabian trommelte nervös mit den Fingern auf die Armlehne seines Stuhls. Mia bemerkte es sofort. „Okay“, sagte sie grinsend. „Jetzt rück schon raus. Irgendwas beschäftigt dich.“ Fabian atmete langsam aus. Dann warf er noch einmal einen prüfenden Blick zur offenen Terrassentür. „Julia hört uns nicht?“ Mia winkte ab. „Die hört sich gerade erst mal den neuesten Klatsch und Tratsch aus Bad Tölz an“, meinte sie trocken. „Und wenn Klaus einmal anfängt zu erzählen, findet er meistens kein Ende.“
Fabian zögerte einen Moment. Schließlich griff er langsam in die Innentasche seiner leichten Sommerjacke. „Ich wollte eigentlich noch warten …“, murmelte er. Dann öffnete er vorsichtig eine kleine dunkle Schachtel. Mia riss überrascht die Augen auf. „Fabian …“ Im Sonnenlicht glitzerte ein eleganter Ring. Plötzlich wirkte Fabian deutlich unsicherer als sonst. Fast nervös. „Ich … ähm … wollte Julia nächste Woche fragen.“
Mia starrte ihn einen Augenblick sprachlos an. Dann breitete sich langsam ein breites Lächeln auf ihrem Gesicht aus. „Das meinst du ernst.“ Fabian nickte. „Abendessen im ‚Bellavista‘. Nur wir beide. Ruhig. Kein Einsatz, keine Leichen, keine Katastrophen.“ Er grinste leicht. „Zumindest hoffe ich das.“ Mia lachte glücklich auf. „Fabian, das ist wunderschön!“ Er entspannte sich ein wenig. „Ich brauche nur deine Hilfe.“ - „Natürlich. Du kannst auf mich zählen.“ - „Irgendwie musst du Julia dazu bringen, dort aufzutauchen, ohne dass sie Verdacht schöpft.“ Mia verschränkte grinsend die Arme. „Du willst also, dass ich eine verdeckte Operation durchführe.“ -„Exakt.“
„Kommissarin Bauer ermittelt“, sagte sie feierlich und hob ihr Glas. Fabian musste lachen. „Ich dachte vielleicht … du könntest behaupten, du brauchst ihre Hilfe bei irgendetwas. Und dann lotst du sie ins Restaurant.“ Mia nickte langsam. „Oh, das kriegen wir hin. Wobei lass uns doch einfach vorgeben, dass wir zu dritt essen gehen und ich haue dann wieder ab. Ist weniger auffällig. “ Sie betrachtete erneut den Ring. „Sie wird ausflippen.“ - „Im positiven Sinn hoffentlich.“ - „Fabian …“, sagte Mia leise. „Sie liebt dich. Natürlich im positiven Sinn.“
Für einen kurzen Moment wurde Fabian still. Fast nachdenklich. Sein Blick glitt erneut zum Haus, und für einen Augenblick lag ein seltenes, ehrliches Glück in seinem Gesicht. Dann hörte man plötzlich Julias Stimme aus dem Inneren des Hauses: „Ich wünsche euch beiden auf jeden Fall eine wunderbare Zeit in Bad Tölz! Du fehlst hier. Bis bald, Klaus.“
Sekunden später trat Julia durch die Terrassentür nach draußen. Kiffy saß wie gewohnt auf ihrer Schulter und plusterte in der warmen Sonne zufrieden sein Gefieder auf. „Klaus hat sich in Bad Tölz wirklich gut eingelebt“, sagte Julia und ließ sich auf einen freien Stuhl fallen. „Und er ist glücklich mit Clara. Aber dieses Telefon macht mich momentan wahnsinnig.“ - „Probleme?“, fragte Fabian möglichst gelassen.
Julia verdrehte leicht die Augen. „Seit Wochen kommen über das Festnetz ständig irgendwelche Störgeräusche. Knacken, Pfeifen, Rauschen … und manchmal hört man mitten im Gespräch plötzlich seltsame Töne.“ Fabian hob leicht die Augenbrauen. „Vielleicht ein Leitungsschaden.“ - „Oder das Haus wird von Außerirdischen übernommen“, meinte Mia trocken. Kiffy neigte den Kopf. „Wenn die Außerirdischen Snacks mitbringen, dürfen sie bleiben.“ Julia grinste und kraulte ihm kurz über den Kopf. „Du denkst auch nur ans Essen.“ - „Falsch“, erwiderte Kiffy empört. „Manchmal denke ich auch ans Schlafen.“ Nachdem Mia übersetzt hatte, was Kiffy gesagt hatte, schüttelte Fabian schmunzelnd den Kopf. „Ich lasse in den nächsten Tagen mal einen Techniker kommen.“ „Bitte“, sagte Julia. „Bevor ich mitten im Gespräch plötzlich Kontakt zu russischen Raumstationen habe.“
Kiffy flatterte plötzlich von Julias Schulter auf den Gartentisch, stolzierte zwischen den Gläsern hindurch und entdeckte schließlich eine Schüssel mit Erdbeeren. Sofort blieb er davor stehen. Er sah sich kurz um, als wolle er überprüfen, ob ihn jemand beobachtete, und zog dann mit erstaunlicher Vorsicht eine einzelne Erdbeere aus der Schüssel. „Unauffällige Ermittlungsarbeit“, murmelte er zufrieden.
Im nächsten Moment verlor er allerdings das Gleichgewicht. Mitsamt der viel zu großen Erdbeere rutschte er über den glatten Tisch und landete direkt in Fabians Eistee. Ein lautes PLATSCH hallte durch den Garten. Für einen kurzen Augenblick herrschte völlige Stille. Dann tauchte Kiffy klatschnass wieder auf – die Erdbeere noch immer fest im Schnabel. „Mission erfolgreich.“
Mia brach in schallendes Gelächter aus. Selbst Julia musste lachen, während Fabian kopfschüttelnd sein Getränk betrachtete. „Also aus der Rotwein-Geschichte vor ein paar Wochen hat er jedenfalls nichts gelernt.“ - „Ich lerne sehr wohl“, protestierte Kiffy. „Ich weiß jetzt, dass Erdbeeren gefährlicher sind als Rotwein.“ Die Sonne sank langsam tiefer hinter die Berge. Der Garten lag ruhig im warmen Licht des Sommernachmittags, während irgendwo über den Baumwipfeln ein leichter Wind rauschte. Und für einen kurzen Moment fühlte sich alles friedlich an.
Noch ist alles friedlich, doch am Montag starten wir endlich richtig mit der Geschichte...
Mit besten Dank an @herbsandfruits und @KiffyBird, sowie allen die Spaß an den Abenteuern den kleinen Wellensittichs haben. Wenn es Euch gefallen hat, dann lasst gerne ein Like da oder repostet das Ganze sogar, damit auch andere Spaß an der Geschichte haben.
Writing Prolog with ChatGPT. ~ John D. Cook. https://t.co/oCQ2LnlgOa #Prolog #LogicProgramming #ChatGPT
Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. https://t.co/PHNMXWfnt1 #Prolog #LogicProgramming #LLMs
💻 Master Prolog Family Trees!
Learn how facts, rules, and queries define relationships such as parent, sibling, and grandparent in logic programming, with practical examples.
🔗 Read more: https://t.co/QSlLyTyRNC
#Prolog #Coding #Developer #AI #Programming #LogicProgramming
Completed my Intelligent Systems project using Prolog 🚀
Built an Expert System for disease diagnosis using logical rules and inference in SWI-Prolog.
#Prolog #AI #ComputerScience
#自作CPU で #レイ・トレーシング と、#Prolog で #オセロＡＩ やらされた身としては、「そうか、一つに統合するという手があったか。」と思うなど。#理情
https://t.co/8RCsNj1ZLK
あのあの、NANDだけで作ったCPUで自作CPU縛りオセロAI大会の初代優勝者？になりました！！やったぜ！！！！！！！！
NANDがあれば何でもできるはマジです
Last Seen Hashtags on Sotwe
omegle(*)**********************
Seen from Germany
dani daniels
Seen from Algeria
nsfw
Seen from United Kingdom
denizlibayan
Seen from Turkey
999_proofs
Seen from United States
pyt
Seen from Mexico
MaisiesLockDownAdventures
Seen from United States
asian #femboy
Seen from Germany
mom #pregnant
Seen from United States
KPOPMYGO
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
119.1M followers
Cristiano Ronaldo
@cristiano
113.7M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.5M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.7M followers
KATY PERRY
@katyperry
89.5M followers
Taylor Swift
@taylorswift13
83.5M followers
Lady Gaga
@ladygaga
75M followers
Virat Kohli
@imvkohli
72.7M followers
Kim Kardashian
@kimkardashian
70.7M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
65.6M followers
Bill Gates
@billgates
64.9M followers
Selena Gomez
@selenagomez
62.6M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.8M followers