Efficient support for reactive rules in prolog
FW-rules is a Prolog library which provides efficient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve efficiency, it supports interoperability between the forward chaining language and the underlying Prolog engine, and it can be embedded in an...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 368 |
|---|---|
| container_issue | |
| container_start_page | 357 |
| container_title | |
| container_volume | |
| creator | Gaspari, Mauro |
| description | FW-rules is a Prolog library which provides efficient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve efficiency, it supports interoperability between the forward chaining language and the underlying Prolog engine, and it can be embedded in any Prolog application. The implementation is based on a runtime support written in C to perform indexing efficiently, and it relies on Prolog for the evaluation of rules. In this paper we describe the library, the compiler and the indexing mechanism. Finally, we compare FW_rules with other approaches to the implementation of production rules in Prolog and with other public-domain production systems, presenting a set of benchmarks. |
| doi_str_mv | 10.1007/3-540-63576-9_122 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_2734635</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2734635</sourcerecordid><originalsourceid>FETCH-LOGICAL-p2092-7a776b1d24085036a848917478fe09723c0cf00f9e9edaa6cbf4b5cc856fbe3b3</originalsourceid><addsrcrecordid>eNotkMtOwzAQRc1LopR8ALss2Lodexw_lqhqAakSG1hbjmtXgZBEdovE35OmzOZKc49GmkPIA4MFA1BLpJUAKrFSkhrLOL8ghVEax600Epi-JDMmGaOIwlyRu6k40eaazACBU6ME3pIi508YBzkDxWZksY6x8U3oDmU-DkOfDmXsU5mC84fmJ5Tp2IZcNl05pL7t9_fkJro2h-I_5-Rjs35fvdDt2_Pr6mlLBw6GU-WUkjXbcQG6ApROC22YEkrHAEZx9OAjQDTBhJ1z0tdR1JX3upKxDljjnDye7w4ue9fG5DrfZDuk5tulX8sVivG7EVuesTw23T4kW_f9V7YM7MmaRTtqsJMHO1nDP0WiWWI</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Efficient support for reactive rules in prolog</title><source>Springer Books</source><creator>Gaspari, Mauro</creator><contributor>Lenzerini, Maurizio</contributor><creatorcontrib>Gaspari, Mauro ; Lenzerini, Maurizio</creatorcontrib><description>FW-rules is a Prolog library which provides efficient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve efficiency, it supports interoperability between the forward chaining language and the underlying Prolog engine, and it can be embedded in any Prolog application. The implementation is based on a runtime support written in C to perform indexing efficiently, and it relies on Prolog for the evaluation of rules. In this paper we describe the library, the compiler and the indexing mechanism. Finally, we compare FW_rules with other approaches to the implementation of production rules in Prolog and with other public-domain production systems, presenting a set of benchmarks.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540635769</identifier><identifier>ISBN: 9783540635765</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540696018</identifier><identifier>EISBN: 3540696016</identifier><identifier>DOI: 10.1007/3-540-63576-9_122</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Artificial intelligence ; Candidate Rule ; Computer science; control theory; systems ; Exact sciences and technology ; Indexing Mechanism ; Learning and adaptive systems ; Production Rule ; Reactive Rule ; Work Memory</subject><ispartof>AIIA 97: Advances in Artificial Intelligence, 2005, p.357-368</ispartof><rights>Springer-Verlag Berlin Heidelberg 1997</rights><rights>1997 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-63576-9_122$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-63576-9_122$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>310,311,780,781,785,790,791,794,4051,4052,27927,38257,41444,42513</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2734635$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Lenzerini, Maurizio</contributor><creatorcontrib>Gaspari, Mauro</creatorcontrib><title>Efficient support for reactive rules in prolog</title><title>AIIA 97: Advances in Artificial Intelligence</title><description>FW-rules is a Prolog library which provides efficient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve efficiency, it supports interoperability between the forward chaining language and the underlying Prolog engine, and it can be embedded in any Prolog application. The implementation is based on a runtime support written in C to perform indexing efficiently, and it relies on Prolog for the evaluation of rules. In this paper we describe the library, the compiler and the indexing mechanism. Finally, we compare FW_rules with other approaches to the implementation of production rules in Prolog and with other public-domain production systems, presenting a set of benchmarks.</description><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Candidate Rule</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Indexing Mechanism</subject><subject>Learning and adaptive systems</subject><subject>Production Rule</subject><subject>Reactive Rule</subject><subject>Work Memory</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540635769</isbn><isbn>9783540635765</isbn><isbn>9783540696018</isbn><isbn>3540696016</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotkMtOwzAQRc1LopR8ALss2Lodexw_lqhqAakSG1hbjmtXgZBEdovE35OmzOZKc49GmkPIA4MFA1BLpJUAKrFSkhrLOL8ghVEax600Epi-JDMmGaOIwlyRu6k40eaazACBU6ME3pIi508YBzkDxWZksY6x8U3oDmU-DkOfDmXsU5mC84fmJ5Tp2IZcNl05pL7t9_fkJro2h-I_5-Rjs35fvdDt2_Pr6mlLBw6GU-WUkjXbcQG6ApROC22YEkrHAEZx9OAjQDTBhJ1z0tdR1JX3upKxDljjnDye7w4ue9fG5DrfZDuk5tulX8sVivG7EVuesTw23T4kW_f9V7YM7MmaRTtqsJMHO1nDP0WiWWI</recordid><startdate>20050607</startdate><enddate>20050607</enddate><creator>Gaspari, Mauro</creator><general>Springer Berlin Heidelberg</general><general>Springer-Verlag</general><scope>IQODW</scope></search><sort><creationdate>20050607</creationdate><title>Efficient support for reactive rules in prolog</title><author>Gaspari, Mauro</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p2092-7a776b1d24085036a848917478fe09723c0cf00f9e9edaa6cbf4b5cc856fbe3b3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Candidate Rule</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Indexing Mechanism</topic><topic>Learning and adaptive systems</topic><topic>Production Rule</topic><topic>Reactive Rule</topic><topic>Work Memory</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Gaspari, Mauro</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Gaspari, Mauro</au><au>Lenzerini, Maurizio</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Efficient support for reactive rules in prolog</atitle><btitle>AIIA 97: Advances in Artificial Intelligence</btitle><date>2005-06-07</date><risdate>2005</risdate><spage>357</spage><epage>368</epage><pages>357-368</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540635769</isbn><isbn>9783540635765</isbn><eisbn>9783540696018</eisbn><eisbn>3540696016</eisbn><abstract>FW-rules is a Prolog library which provides efficient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve efficiency, it supports interoperability between the forward chaining language and the underlying Prolog engine, and it can be embedded in any Prolog application. The implementation is based on a runtime support written in C to perform indexing efficiently, and it relies on Prolog for the evaluation of rules. In this paper we describe the library, the compiler and the indexing mechanism. Finally, we compare FW_rules with other approaches to the implementation of production rules in Prolog and with other public-domain production systems, presenting a set of benchmarks.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/3-540-63576-9_122</doi><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | AIIA 97: Advances in Artificial Intelligence, 2005, p.357-368 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_2734635 |
| source | Springer Books |
| subjects | Applied sciences Artificial intelligence Candidate Rule Computer science control theory systems Exact sciences and technology Indexing Mechanism Learning and adaptive systems Production Rule Reactive Rule Work Memory |
| title | Efficient support for reactive rules in prolog |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-18T04%3A40%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Efficient%20support%20for%20reactive%20rules%20in%20prolog&rft.btitle=AIIA%2097:%20Advances%20in%20Artificial%20Intelligence&rft.au=Gaspari,%20Mauro&rft.date=2005-06-07&rft.spage=357&rft.epage=368&rft.pages=357-368&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540635769&rft.isbn_list=9783540635765&rft_id=info:doi/10.1007/3-540-63576-9_122&rft_dat=%3Cpascalfrancis_sprin%3E2734635%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540696018&rft.eisbn_list=3540696016&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |