Amvik eBook Solutions

This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theore

This collection of original research papers assesses and summarizes the impact of types on logic programming.

Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full g

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for enc