Logic Programming: Operational Semantics and Proof Theory by James H. Andrews

Logic Programming: Operational Semantics and Proof Theory

Distinguished Dissertations in Computer Science

James H. Andrews

120 pages • missing pub info (editions)

nonfiction computer science medium-paced
Powered by AI (Beta)
Loading...

Description

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...