W e i z m a n n h*stitute of Science E. Shapiro and A. Takeuchi, "Object Oriented Programming in Concurrent Prolog," New Generation of Computing, vol. 1, pp. 2548, 1983. This paper is an attempt to provide the functionality of objectoriented programming in a Concurrent Prolog environment. In a Prolog construct of the form A :- BI,_Bn is interpreted in a variety of fashions: l) A is true if BI and ....are true: 2) procedural interpretation; and 3) process interpretation (here the form can be thought of as objects). Communication to objects is via the instantiation of shared variables. Some variables are declared as read-only variables. If read-only variables cannot be instantiated, the process suspends itself. The authors define several primitives to facilitate the object-oriented programming. These include guard clauses (acts somewhat like triggers in frames), of objects, and a mechanism to deal with 'incomplete messages.' An incomplete message is one in which there are uninstanitiated variables. Xerox Palo Alto R e s e a r c h Center, Palo Alto, CA J. de Kleer, "An Assumption-Based TMS," Draft report, Xerox Palo Alto Research Center, Palo Alto, Ca, April 1985. This paper presents a new approach to
End of preview. The entire article is 2 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/a-problem-in-knowledge-acquisition-Z9oCsRrStx
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
A problem in knowledge acquisition
Schoenmakers, Wijnana J.
Follow ACM SIGART Bulletin
, Volume (95)
Association for Computing Machinery – Jan 1, 1986
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
