| P.K.C. Pun. Design of EXL - a multiparadigm programming language for developing knowledge-based applications. RC3 Research Project Report RC3/P02, Department of Computing Science, University of Manchester, 1991. |
....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. predicates do not exist ....
P.K.C. Pun. Design of EXL - a multiparadigm programming language for developing knowledge-based applications. RC3 Research Project Report RC3/P02, Department of Computing Science, University of Manchester, 1991.
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