Guarded Horn Clauses: A Parallel Logic PL with the Concept of a Guard (1987)

Comments

from Hacker News https://ift.tt/3ozP9w1

Comments