猫琴娜🌸 on Nostr: わたし Prolog ...
わたし Prolog 好きだよ、というかほら、わたし好きそうじゃん。単調論理ネットワーク屋なので。まあ Positive Datalog の方が好きですけどね。
Published at
2026-10-24 22:24:43 UTCEvent JSON
{
"id": "852d5a39a2d0742ac4a2ed23c6028a967c259c35b6bef646fbfc4311c1b01ce0",
"pubkey": "31e203f5cf4ec5aea47084d5138106d7b381a316c29463b04ad6f40012885b06",
"created_at": 1792880683,
"kind": 1,
"tags": [
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:q57l5d4iz2uzezutebljzrd2/app.bsky.feed.post/3mynqc6lmrk2v",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "わたし Prolog 好きだよ、というかほら、わたし好きそうじゃん。単調論理ネットワーク屋なので。まあ Positive Datalog の方が好きですけどね。",
"sig": "3208c6493b381f0dbd7cba97ae1eecffeac9ffdf7b29d23334f0ac7c9458b4c7df1c7283ba9ec99fd815d0e079c9c8ed59b4a2a5a74df6773f4faffada505a67"
}