Digitalk Inc. Prolog/V Documentation with Smalltalk/V Mac, 1988. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Object Logic Integration: a Multiparadigm Design Methodology and .. - Lee, Pun (1997) (4 citations) (Correct)
....be specified as a set of clauses. However, there is no direct correspondence between terms in clauses and objects of classes in these languages. In this way, they only support unification of simple syntactic symbols but not complex objects defined by users. In languages such as ALF [23] Prolog V [24] and EXL [25, 26, 27] clauses are represented as subclasses of a built in class. In these languages, an object can be a term and vice versa. In this way, unification of user defined objects is supported. However, these languages require logical predicates to be specified within classes, i.e. ....
Digitalk Inc. Prolog/V Documentation with Smalltalk/V Mac, 1988.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC