2p-kt
2p-kt copied to clipboard
OO Constraints, see {new_}object(+Type, +Args, -Instance)
'- Make it fully relational (ie object(?Type, ?Args, ?Instance))
- Think about the CP perspective