Abstract: This work presents some formalization of our intuition that from an operational perspective, logic programs do have a notion of control flow, and the computational behavior of a ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback