{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:55Z","timestamp":1725456355877},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013535","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"257-270","source":"Crossref","is-referenced-by-count":3,"title":["Flang: A functional-logic language"],"prefix":"10.1007","author":[{"given":"Andrei V.","family":"Mantsivoda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Warren D.H.D. Implementing Prolog \u2014 Compiling predicate logic programs. Technical Report, 39, 40, University of Edinburgh, May 1977."},{"key":"19_CR2","volume-title":"The LOGLISP user's manual","author":"J.A. Robinson","year":"1981","unstructured":"Robinson J.A., Sibert E. The LOGLISP user's manual.-Syracuse Univ., NY, 1981."},{"key":"19_CR3","unstructured":"Bockmayr A. Conditional rewriting and narrowing as theoretical framework for logic-functional programming (A Survay).-Interner Bericht No 10\/86, Univ Karlsruhe, 35p., 1986."},{"key":"19_CR4","unstructured":"Goguen J.A., Meseguer J. Equality, types, modules and generics for logic programming.-Proc of the 1985 symp.on logic programming, Boston, MA, 172\u2013184,1985."},{"key":"19_CR5","unstructured":"Fribourg L. SLOG: a logic programming language interpreter based on clausal superposition and rewriting.-Proc or the 1985 eymp.on logic programming, Boston, MA, 172\u2013184."},{"issue":"12","key":"19_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/15042.15045","volume":"21","author":"B. H. Relfun","year":"1986","unstructured":"Boley H. Relfun: A relational\/functional integration with valued clauses. SIGPLAN Notices, 21(12), 1986, 87\u201398.","journal-title":"SIGPLAN Notices"},{"key":"19_CR7","unstructured":"Boley H. A Relational\/Functional Language and its Compilation into the WAM. SEKI Report SR-90-05, University of Kaiserslautern., April 1990."},{"key":"19_CR8","unstructured":"Hein H.-G. Adding WAM instructions to support valued clauses for relational\/functional integration language RELFUN. Technical Report SWP-90-02, University of Kaiserslautern, December 1989."}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013535.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:07:56Z","timestamp":1607353676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0013535","relation":{},"subject":[]}}