{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:32:36Z","timestamp":1777645956090,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[1997,2]]},"abstract":"<jats:p>A methodology for constructing definite programs is presented. This presentation consists of two parts. The first part is the writing of an initial specification in Horn clauses form. In this part some paradigms of construction are outlined. The specification obtained is moded and typed; moreover it has some important specific qualities: structure, clearness, correctness and executability. However the initial specification is generally not efficient. For this reason the second part of the presentation is the stage of transformation. In this part some strategies based on folding, unfolding and generation of schemata are presented.<\/jats:p>","DOI":"10.3233\/fi-1997-29301","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T21:05:08Z","timestamp":1575320708000},"page":"203-223","source":"Crossref","is-referenced-by-count":1,"title":["A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS"],"prefix":"10.1177","volume":"29","author":[{"given":"Francis","family":"Alexandre","sequence":"first","affiliation":[{"name":"CRIN-CNRS and INR1A Lorraine, BP 239, 54506 Vand\u0153vre l\u00e8s Nancy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Bsa\u00efes","sequence":"additional","affiliation":[{"name":"CRIN-CNRS and INR1A Lorraine, BP 239, 54506 Vand\u0153vre l\u00e8s Nancy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1997,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1997-29301","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1997-29301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:33:53Z","timestamp":1777444433000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-1997-29301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1,1]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,2]]}},"alternative-id":["10.3233\/FI-1997-29301"],"URL":"https:\/\/doi.org\/10.3233\/fi-1997-29301","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1,1]]}}}