Emula%ing Prolog in an IBM PC APL Environment Maria J. Tobar and M. Alfonseca Introduction Since P R O L O G is a highly used language in Artificial Intelligence applications, it has been our aim to test the APL capabilities to emulate it, in this way combining the properties of both languages in a single system, where A P L would provide its number-crunching and file handling facilities, while PROLOG-like A P L functions would make it possible to perform logical inferences in a non-procedural environment. All the work took place in a Personal Computer, using IBM PC APL as the basis syst,em. PROLOG operates with the so-called Horn's clauses formed by u conjunction of affirmative propositions. The answer to a certain goal is obtained by using Robinson's Resolution Principle, i.e. checking t h a t the set formed by the premises in the negation of the goal is inconsistent. It can be proved t h a t this process is complete and correct. The fact t h a t a generally accepted PROLOG standard does not exist has the consequence that almost each PROLOG system available is unique and incompatible with the others. On the one
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/emulating-prolog-in-an-ibm-pc-apl-environment-Lv1SPji9Ca
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Emulating Prolog in an IBM PC APL environment
Tobar, M; Alfonseca, M
Follow ACM SIGAPL APL Quote Quad
, Volume 16 (3)
Association for Computing Machinery – Mar 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
