[uberman]

When writing p-code I dont use any kind of formal notation on to formalize it would be to defeat the entire purpose in my opinion. For me, p-code is notes to myself describing intended functionality without implementation details.

[2ro]

So, this sounds like you could use a pure logic programming notation - specify intended functionality without any implementation details at all - that is basically what I am doing - I am attempting to create an ideal language notation for expressing general relations. I wonder if others might find this useful and if others are working in this space? If not, then why not?