José A. Alonso on Nostr: The semantics of metapropramming in Prolog. ~ David S. Warren. #Prolog ...
Published at
2024-08-18 07:11:08Event JSON
{
"id": "8c80395e0c1f9933be42f60495a286b5605f70827516502d304ad9981e62fec0",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723965068,
"kind": 1,
"tags": [
[
"t",
"logicprogramming"
],
[
"t",
"prolog"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112981774715890026",
"activitypub"
]
],
"content": "The semantics of metapropramming in Prolog. ~ David S. Warren. https://arxiv.org/abs/2408.07652 #Prolog #LogicProgramming",
"sig": "78146549331bec76b8bcc8485f1b4d6aa9e3e33d2df92bcb450b97a036548c650075b74319715da81782c1d91b377f79b4eab47fa03f0fe015d6554a10740090"
}
