Hierarchical Constraint Satisfaction as a Model for Adding Types with Inheritance to Prolog

dc.contributor.authorChitale, Chandanen
dc.contributor.authorDeighan, Johnen
dc.contributor.authorRoach, John W.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:36:03Zen
dc.date.available2013-06-19T14:36:03Zen
dc.date.issued1990en
dc.description.abstractProlog is a language based on first order logic. It uses resolution as a rule of inference, and unification is the heart of resolution. Prolog operates on the Herbrand universe, a single, unstructured domain. In problems with large structured domains, the number of resolution steps may become large. We have incorporated type inheritance into Prolog to exploit large structured domains to write more concise code and to obtain shorter proofs. Types are subuniverses corresponding to sets of objects. The subset of relation between types induces a hierarchy on the universe. We used the hierarchical constraint satisfaction concept to incorporate these extensions into Prolog. We also provide a formal proof that our typed unification extends standard Prolog and directly augments the Warren Abstract Machine (WAM) concept.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000188/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000188/01/TR-90-06.pdfen
dc.identifier.trnumberTR-90-06en
dc.identifier.urihttp://hdl.handle.net/10919/19525en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleHierarchical Constraint Satisfaction as a Model for Adding Types with Inheritance to Prologen
dc.typeTechnical reporten
dc.type.dcmitypeTexten
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
TR-90-06.pdf
Size:
1.82 MB
Format:
Adobe Portable Document Format