FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953092023> ?p ?o ?g. }

• W2953092023 abstract "Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming. Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions. Algorithmic problems have known efficient algorithms. Search problems do not have known efficient algorithms but can be solved with search. The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each. This is in contrast to the Prolog approach, which targets both classes with one set of concepts, which results in less than optimal support for each class. To explain the essential difference between algorithmic and search programs, we define the Oz execution model. This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). Instead of Horn clause syntax, Oz has a simple, fully compositional, higher-order syntax that accommodates the abilities of the language. We conclude with lessons learned from this work, a brief history of Oz, and many entry points into the Oz literature." @default.
• W2953092023 created "2019-06-27" @default.
• W2953092023 creator A5011834435 @default.
• W2953092023 creator A5021717408 @default.
• W2953092023 creator A5025238301 @default.
• W2953092023 creator A5040316614 @default.
• W2953092023 creator A5065218846 @default.
• W2953092023 creator A5090695078 @default.
• W2953092023 date "2002-08-20" @default.
• W2953092023 modified "2023-09-27" @default.
• W2953092023 title "Logic programming in the context of multiparadigm programming: the Oz experience" @default.
• W2953092023 cites W1488560674 @default.
• W2953092023 cites W1493240046 @default.
• W2953092023 cites W1495011881 @default.
• W2953092023 cites W1498170831 @default.
• W2953092023 cites W1504434797 @default.
• W2953092023 cites W1506492451 @default.
• W2953092023 cites W1544758700 @default.
• W2953092023 cites W1580566336 @default.
• W2953092023 cites W1589232796 @default.
• W2953092023 cites W1600021945 @default.
• W2953092023 cites W1602419232 @default.
• W2953092023 cites W1683857393 @default.
• W2953092023 cites W1770006921 @default.
• W2953092023 cites W1953013241 @default.
• W2953092023 cites W1965498649 @default.
• W2953092023 cites W1973485206 @default.
• W2953092023 cites W1979966822 @default.
• W2953092023 cites W1989806327 @default.
• W2953092023 cites W1993503482 @default.
• W2953092023 cites W2004256601 @default.
• W2953092023 cites W2029326070 @default.
• W2953092023 cites W2050613794 @default.
• W2953092023 cites W2053384008 @default.
• W2953092023 cites W2058847156 @default.
• W2953092023 cites W2059799630 @default.
• W2953092023 cites W2089241138 @default.
• W2953092023 cites W2100738443 @default.
• W2953092023 cites W2113547509 @default.
• W2953092023 cites W2127852846 @default.
• W2953092023 cites W2130051766 @default.
• W2953092023 cites W2133546079 @default.
• W2953092023 cites W2150537182 @default.
• W2953092023 cites W2165434002 @default.
• W2953092023 cites W2166279570 @default.
• W2953092023 cites W2177173668 @default.
• W2953092023 cites W2327696470 @default.
• W2953092023 cites W2883512297 @default.
• W2953092023 cites W3120211617 @default.
• W2953092023 cites W72241736 @default.
• W2953092023 cites W2142423074 @default.
• W2953092023 hasPublicationYear "2002" @default.
• W2953092023 type Work @default.
• W2953092023 sameAs 2953092023 @default.
• W2953092023 citedByCount "1" @default.
• W2953092023 crossrefType "posted-content" @default.
• W2953092023 hasAuthorship W2953092023A5011834435 @default.
• W2953092023 hasAuthorship W2953092023A5021717408 @default.
• W2953092023 hasAuthorship W2953092023A5025238301 @default.
• W2953092023 hasAuthorship W2953092023A5040316614 @default.
• W2953092023 hasAuthorship W2953092023A5065218846 @default.
• W2953092023 hasAuthorship W2953092023A5090695078 @default.
• W2953092023 hasConcept C126255220 @default.
• W2953092023 hasConcept C128838566 @default.
• W2953092023 hasConcept C137631369 @default.
• W2953092023 hasConcept C146206909 @default.
• W2953092023 hasConcept C151730666 @default.
• W2953092023 hasConcept C154945302 @default.
• W2953092023 hasConcept C173404611 @default.
• W2953092023 hasConcept C189790780 @default.
• W2953092023 hasConcept C199305712 @default.
• W2953092023 hasConcept C199360897 @default.
• W2953092023 hasConcept C2779343474 @default.
• W2953092023 hasConcept C33923547 @default.
• W2953092023 hasConcept C34165917 @default.
• W2953092023 hasConcept C41008148 @default.
• W2953092023 hasConcept C50033165 @default.
• W2953092023 hasConcept C60048249 @default.
• W2953092023 hasConcept C81721847 @default.
• W2953092023 hasConcept C86803240 @default.
• W2953092023 hasConcept C96315309 @default.
• W2953092023 hasConceptScore W2953092023C126255220 @default.
• W2953092023 hasConceptScore W2953092023C128838566 @default.
• W2953092023 hasConceptScore W2953092023C137631369 @default.
• W2953092023 hasConceptScore W2953092023C146206909 @default.
• W2953092023 hasConceptScore W2953092023C151730666 @default.
• W2953092023 hasConceptScore W2953092023C154945302 @default.
• W2953092023 hasConceptScore W2953092023C173404611 @default.
• W2953092023 hasConceptScore W2953092023C189790780 @default.
• W2953092023 hasConceptScore W2953092023C199305712 @default.
• W2953092023 hasConceptScore W2953092023C199360897 @default.
• W2953092023 hasConceptScore W2953092023C2779343474 @default.
• W2953092023 hasConceptScore W2953092023C33923547 @default.
• W2953092023 hasConceptScore W2953092023C34165917 @default.
• W2953092023 hasConceptScore W2953092023C41008148 @default.
• W2953092023 hasConceptScore W2953092023C50033165 @default.
• W2953092023 hasConceptScore W2953092023C60048249 @default.
• W2953092023 hasConceptScore W2953092023C81721847 @default.
• W2953092023 hasConceptScore W2953092023C86803240 @default.
• W2953092023 hasConceptScore W2953092023C96315309 @default.

• next