Publication
ACM SIGPLAN Notices
Paper

On typing in prolog

Download paper

Abstract

Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator. © 1986, ACM. All rights reserved.

Date

01 Jan 1986

Publication

ACM SIGPLAN Notices

Authors

Resources

Share