{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T07:17:00Z","timestamp":1649056620726},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[1990,9]]},"abstract":"<jats:p> This paper defines a new concurrent logic language, Nested Guarded Horn Clauses (NGHC). The main new feature of the language is its concept of guard. In fact, an NGHC clause has several layers of (standard) guards. This syntactic innovation allows the definition of a complete (i.e. always applicable) set of unfolding rules and therefore of an unfolding semantics which is equivalent, with respect to the success set, to the operational semantics. A fixpoint semantics is also defined in the classic logic programming style and is proved equivalent to the unfolding one. Since it is possible to embed Flat GHC into NGHC, our method can be used to give a fixpoint semantics to FGHC as well. <\/jats:p>","DOI":"10.1142\/s0129054190000187","type":"journal-article","created":{"date-parts":[[2004,11,29]],"date-time":"2004-11-29T02:14:37Z","timestamp":1101694477000},"page":"249-263","source":"Crossref","is-referenced-by-count":4,"title":["NESTED GUARDED HORN CLAUSES"],"prefix":"10.1142","volume":"01","author":[{"given":"MORENO","family":"FALASCHI","sequence":"first","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Pisa Corso Italia 40, 56125 Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MAURIZIO","family":"GABBRIELLI","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Pisa Corso Italia 40, 56125 Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GIORGIO","family":"LEVI","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Pisa Corso Italia 40, 56125 Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MASAKI","family":"MURAKAMI","sequence":"additional","affiliation":[{"name":"Institute for New Generation Computer Technology 4\u201328, Mita-1, Minato-ku, Tokyo 108, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,1,25]]},"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054190000187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T14:07:30Z","timestamp":1565186850000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054190000187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":0,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[1990,9]]}},"alternative-id":["10.1142\/S0129054190000187"],"URL":"https:\/\/doi.org\/10.1142\/s0129054190000187","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}